testsuite/runtime/linearize/brackets.gfs.gold


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

(S:2 (E:1 (_:0 ?1)) is even)


(S:3 exists x such that (S:2 (E:1 (_:0 x)) is even))


(S:1 (E:0 a))


(S:1 (E:0 aa) a)


(S:1 (E:0 a) b)


(S:1 (String:0 abcd) is string)


(S:1 (Int:0 100) is integer)


(S:1 (Float:0 12.4) is float)


(S:1 (String:0 xyz) is string)


cannot linearize