//This file was generated from UPPAAL 3.5.4, Feb 2005 /* */ A[] c<=10 /* */ A[] p.x<=10