//This file was generated from UPPAAL 3.6 Alpha 5-pre1 (rev. 1565), Mar 2006 /* */ E<> P1.a != P2.a