let eval_expr e = match e.expr_type with | Integer -> Asm_ast.Integer (eval_expr_int e) | Boolean -> Asm_ast.Boolean (eval_expr_bool e)