LOCAL  Comp01.

IfGreater(x, y) <-

IF x > y THEN WriteString(StdOut, "Greater\n")
ELSE WriteString(StdOut, "Not Greater\n").