/*
orders(MSS('CollisionWithObstacle.O.true')) = 
orders	product-number
2	6
total	6
end
*/
products(MSS('CollisionWithObstacle.O.true')) = 
{'OperationControl.RobotDecideEmergencyStop.stuck_on_false', 'RealWorld.RunWayClear.is_false'}
{'OperationMonitoring.RobotAnalyseObstacle.stuck_on_true', 'RealWorld.RunWayClear.is_false'}
{'RealWorld.RunWayClear.is_false', 'OperationControl.RobotDecideEmergencyStop.stuck_on_false'}
{'RealWorld.RunWayClear.is_false', 'OperationMonitoring.RobotAnalyseObstacle.stuck_on_true'}
{'RealWorld.RunWayClear.is_false', 'RobotAction.StopMove.fail'}
{'RobotAction.StopMove.fail', 'RealWorld.RunWayClear.is_false'}
end