let logic_type_name ty = ignore (flush_str_formatter ()); fprintf str_formatter "%a" !Ast_printer.d_logic_type ty; let name = flush_str_formatter () in filter_alphanumeric name [('*','x')] '_'