IF (E a :: p1(2)) -> SKIP FI
IF VAR a, b IN a = f1(2) AND p1(0) AND a = b -> SKIP END FI
IF VAR a,b,c,d IN b = f1(a) AND 6 = a -> SKIP END FI
IF VAR a,b,c,d IN f2(b,c) = d AND f1(a)=c AND b=f1(a) AND 6=a -> SKIP END FI
IF VAR a,b,c,d IN REAL(d) AND d=b+c AND b=a+6 AND c=a*a AND 8=a -> SKIP END FI
IF VAR a,b,d,e IN TEXT(d) AND 2=e*d AND b=a+6 AND 8=a -> SKIP END FI
IF VAR a,b IN a = SIN(b) AND b = 2 * a -> SKIP END FI
VAR y IN IF VAR x,z IN x = y - z -> SKIP END FI END
IF VAR d,c IN CAR(c) = d -> SKIP END FI
VAR list IN IF VAR c IN CAR(c) = list -> SKIP END FI END
IF VAR x,y,z IN x = y - z -> SKIP END FI
IF VAR x,y IN x = CDR(y) -> SKIP END FI
SKIP ; SKIP ; VAR x ~ 1 IN DO x < 10 -> x := x + 1 OD END
IF VAR c=10 IN DO c >= 0 -> VAR p=(COS(c), SIN(c)) IN c := c-1 END OD END FI
IF VAR c=10 IN DO c # 0 -> VAR p = (COS(c), SIN(c)) IN c := c-1 END OD END FI
IF VAR x ~ y, y ~ 2 IN x = y -> SKIP END FI
IF (E x ~ y, y ~ 2 :: x = y) -> SKIP FI
IF VAR x IN x + 3 = 2 -> SKIP END FI
IF VAR x ~ 1 IN x + 3 = 2 -> SKIP END FI
IF VAR x IN x ~ 1 AND x + 3 = 2 -> SKIP END FI
IF (E x :: x + 3 = 2) -> SKIP FI
IF (E x~1 :: x + 3 = 2) -> SKIP FI
IF (E x,y :: x + y = 3) -> SKIP FI
IF (E x, y ~ 1 :: x + y = 3) -> SKIP FI
IF VAR z IN (E x, y ~ 1 :: x + y = z) -> SKIP END FI
IF VAR c=10 IN DO NOT c=0 -> VAR p=(COS(c), SIN(c)) IN c := c-1 END OD END FI
IF VAR c=10 IN DO NOT c#0 -> VAR p=(COS(c), SIN(c)) IN c := c-1 END OD END FI
IF VAR x IN x = 3 -> IF INT(x) -> VAR y IN y = x + 1 -> SKIP END FI END FI
IF VAR x IN x = 3 -> IF VAR y IN INT(x) AND y = x + 1 -> SKIP END FI END FI
IF VAR x IN x = 3 -> IF VAR y IN INT(y) AND y = x + 1 -> SKIP END FI END FI
IF VAR x IN x = 2 -> IF NOT x = 3 -> VAR y IN y = x -> SKIP END FI END FI
IF (E x :: x*x=2) OR (E y :: y*y=3) -> SKIP FI
IF (E x :: x*x=2) OR (E y :: y*y=3) -> VAR z IN z*z=4 -> SKIP END FI
IF VAR w IN (E x :: x*x=2) OR (E y::y*y=3) -> VAR z IN z*z=4 -> SKIP END END FI
IF VAR w IN (E x :: x*x=w) -> SKIP END FI
IF VAR a, b, c IN TRUE OR a = b + c AND a * 2 = c -> SKIP END FI
IF VAR a, b, c IN a = b + c AND a * 2 = c OR TRUE -> SKIP END FI
IF VAR a, b, c IN a = b + c OR TRUE OR a * 2 = c -> SKIP END FI
IF VAR x IN NOT NOT NOT (E y :: y = 2) AND x = 3 -> SKIP END FI
IF VAR x IN NOT NOT NOT (E y :: y = x) AND x = 3 -> SKIP END FI
VAR x IN x:=3; IF x < 0 OR (E y~1 :: y*y=x) -> VAR y IN y=x-2->SKIP END FI END
IF VAR x, y IN x = 2 -> x := y END FI
IF VAR a ~ 1 IN a * a = 2 -> { 0 = 1 -> a := 0 | a := 1 } END FI
IF VAR x IN x := 1; x := 2; x := 3; x := 4 END FI
IF VAR x IN x := 0; DO x < 10 -> x := x + 1 OD; x := 0 END FI