let inspect_ast_op (op : Ast.op) = match op with
| Arithmetic(an_op) -> Printf.sprintf "Arithmetic(%s)" (inspect_ast_arith an_op)
| NumTest(an_op) -> Printf.sprintf "NumTest(%s)" (inspect_ast_numtest an_op)
| CombTest(an_op) -> Printf.sprintf "CombTest(%s)" (inspect_ast_combtest an_op)