bugs fixed in Clif to TPTP translation