//This file was generated from UPPAAL 3.6 Beta 3 (rev. 1762), April 2006 /* */ E<> deadlock and x < 2