synth: correct solution to avoid empty successor states in spec representation of an open transition system, not strongly components
rm synth.keep_strongly_connected_components
robot_continuous: use sys.exit