Bug fixes in direct Clif to TPTP translation