Standard priorities val P_HIGH = 100; val P_HIGH = 100; val P_NORMAL = 1000; val P_NORMAL = 1000; val P_LOW = 10000; val P_LOW = 10000; Standard declarations UNIT colset UNIT = unit; BOOL INT colset INT = int; INTINF colset INTINF = intinf; TIME colset TIME = time; REAL colset REAL = real; STRING INT_TM INT colset INT_TM = INT timed; INT x y var x,y: INT; p1 INT_TM p2 INT_TM 3`1++2`4 p3 INT_TM p4 INT_TM 1`1 p5 INT_TM 1`5@+2 t1 @+5 t2 t3 [x>y] t4 x+1@+x x x x@+5 x y x+y x x y false false false <same as model> true true true true true true true false false false true true false false true false false true false true false false true true false false false false false false false false true false true false false true true false false false true false