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)