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 INTINF colset INTINF = intinf; TIME colset TIME = time; REAL colset REAL = real; STRING INT x y var x,y: INT; p1 INT p2 INT 3`1++2`4 t1 t2 t3 [x>y] x+1 x x x x y 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