...
Symbolic evaluation applies the following rewrite rules to an expression until none is applicable (with one exception
discussed below):
| Code Block |
|---|
(make-If true X Y) => X (make-If false X Y) => Y (make-If X true false) => X (make-If X Y Y) => Y (make-If X Y Z) => (make-If X Y\[X <\- true\] Z\[X <\- false\]) |
...