Machines with errors:
| ALLOY_COMPILED_PROVER_CACHING:1 | GameDescriptionException: Goal is poorly defined for black in [( true ( cell blane a 1 b ) ), ( true ( cell blane a 2 b ) ), ( true ( cell blane a 3 b ) ), ( true ( cell blane b 1 b ) ), ( true ( cell blane b 2 b ) ), ( true ( cell blane b 3 b ) ), ( true ( cell blane c 1 b ) ), ( true ( cell blane c 2 b ) ), ( true ( cell blane c 3 b ) ), ( true ( cell blane d 1 b ) ), ( true ( cell blane d 2 b ) ), ( true ( cell blane d 3 b ) ), ( true ( cell blane e 1 black ) ), ( true ( cell blane e 2 b ) ), ( true ( cell blane e 3 b ) ), ( true ( cell wlane a 1 b ) ), ( true ( cell wlane a 2 b ) ), ( true ( cell wlane a 3 b ) ), ( true ( cell wlane b 1 b ) ), ( true ( cell wlane b 2 b ) ), ( true ( cell wlane b 3 b ) ), ( true ( cell wlane c 1 b ) ), ( true ( cell wlane c 2 b ) ), ( true ( cell wlane c 3 b ) ), ( true ( cell wlane d 1 b ) ), ( true ( cell wlane d 2 b ) ), ( true ( cell wlane d 3 b ) ), ( true ( cell wlane e 1 b ) ), ( true ( cell wlane e 2 white ) ), ( true ( cell wlane e 3 b ) ), ( true ( step 8 ) ), ( true ( wall blane c none ) ), ( true ( wall blane d right ) ), ( true ( wall wlane a none ) ), ( true ( wall wlane c left ) ), ( true ( wall wlane d none ) ), ( true ( walls black 6 ) ), ( true ( walls white 7 ) )] |