Added support for the "robotics sematics" - the robot shall be able to win from every possible initial state in this semantics in order for a setting to be called realizable