//This file was generated from UPPAAL 3.6 Alpha 5-pre1 (rev. 1565), Mar 2006

/*
System can only deadlock if env has turned it off.
*/
A[] (deadlock imply env.OFF)

/*
env cannot send 'up' or 'down' after sending 'shut_down' (encoded using an error location).
*/
A[] not env.ERROR
