blanchet [Wed, 30 Jun 2010 18:03:34 +0200] rev 37643
rewrote the TPTP problem generation code more or less from scratch;
there is now an explicit AST data structure which will make it easy to support alternative formats (e.g., DFG, sorted TPTP, sorted DFG);
also, if "full_types" is enabled, "hAPP" is then tagged properly