path: root/testsuite/runtime/linearize/linearize.gfs.gold

?1 is even

exists x such that x is even

a

aa a

a b

abcd is string

100 is integer

12.4 is float

xyz is string