Mul(NODE, 0) -> 0
Mul(0, NODE) -> NODE
Mul(NODE, 1) -> NODE
Mul(1, NODE) -> NODE
Div(NODE, 0) -> 0
Div(0, NODE) -> NODE
Div(NODE, 1) -> NODE
Add(NODE, 0) -> NODE
Add(0, NODE) -> NODE
GE(NODE, 0) -> 1
LE(NODE, -1) -> 1
LT(NODE, 0) -> 0
GT(NODE, -1) -> 0
And(NODE, 0) -> 0
And(NODE, 1) -> NODE
Or(NODE, 0) -> NODE
Or(NODE, 1) -> NODE
RandInt(NUM, NUM) -> NUM
Min(VAR, VAR) -> VAR
Max(VAR, VAR) -> VAR
Remainder(NODE, 1) -> 0