Amend sCtl7 to test both interlocking check and check synchronizing ?
The title for sCtl7 is „Checks conditions“, so valid for both interlock check and synchronism check. The behaviour on synchronism check is testable as well, so why not testing it?
We would not need to rename sCtl7, we could add further steps 4, 5 und 6 in "light mode" stating that they are to be executed similar to steps 1 to 3:
If interlock check is supported, then execute steps 1 to 3.
If synchronism check is supported, then execute steps 4 to 6 like steps 1 to 3 applying „Check Synchrocheck“ and „Blocked-by-synchrocheck” instead.