new transformation (currently equivalent to identity) for tptp driver