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
29
30
31
32
33
34
35
36
37
38
{
"kind": "Exists",
"value": {
"body": {
"kind": "Equation",
"value": {
"left": {
"kind": "Binary",
"value": {
"left": {
"kind": "Variable",
"value": "x"
},
"op": {
"kind": "Mul"
},
"right": {
"kind": "Variable",
"value": "x"
}
}
},
"right": {
"kind": "Integer",
"value": 2
}
}
},
"domain": {
"kind": "NumberSetExpr",
"value": {
"kind": "Real"
}
},
"unique": false,
"variable": "x"
}
}