let inspect_ast_combtest (op : Ast.combtest) = match op with | And -> "And" | Or -> "Or" | Nand -> "Nand" | Nor -> "Nor" | Xor -> "Xor" | Not -> "Not"