| CALL of Ast.ident * exp list
| MEMORY of exp
| ALLOC of exp
+ | STRING of Stringref.stringref
| COND of exp * exp * exp
| STMVAR of stm list * exp
| NULLPTR
| CALL of Ast.ident * exp list
| MEMORY of exp
| ALLOC of exp
+ | STRING of Stringref.stringref
| COND of exp * exp * exp
| STMVAR of stm list * exp
| NULLPTR