-
Heiko Becker authored
Simplify abstract environment generation and fix bug that would omit parts, when a unary operator is encountered
dd47e465
Simplify abstract environment generation and fix bug that would omit parts, when a unary operator is encountered