bug fixes in CLIF to TPTP translation