bugfixes in printing PrologTerms in TPTP;
bugfix in CallProvers description of E