Wrong TPTP output for ITE(s) (and possibly other special terms)

[mezpusz]

GDV complains for the following examples:

-p tptp --decode ott+10_14_sil=8000:tgt=full:prc=on:random_seed=3219396785:i=2501:fsr=off_2914 $TPTP/Problems/ITP/ITP217_3.p
-p tptp --decode ott+10_1_sil=8000:drc=ordering:abs=on:urr=on:br=off:random_seed=891916334:cond=on:s2a=on:i=1197:gtg=position:ss=axioms:sgt=8_2977 $TPTP/Problems/ITP/ITP267_3.p

The problem seems to be that for an ITE $ite(condition,then,else) we first construct the head as $ite(condition, and then try to construct the rest as if the term wasn't special, adding all arguments in a pair of parenthesis, resulting in something like $ite(condition,(then,else)).