let inspect_ast_numtest (op : Ast.numtest) = match op with | Eq -> "Eq" | Neq -> "Neq" | Less -> "Less" | Grtr -> "Grtr" | Leq -> "Leq" | Geq -> "Geq"