let string_of_logic = TermLib.string_of_logic