added a clause set computation (AlternativeStandardClauseSet, need a better name :) ) which does not perform an explcicit struct normalization (which createsvery deep structures). StandardClauseSet had some methods converted to continuation passing style, but that wasn't enough.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2329 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
removed toTreeProof calls from prover9 test case

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2330 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Set FOLApp, FOLAbs protected.
Had to remove some debugging pretty-printing code from TreeGrammarDecomposition in order to do so.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2331 85d21ef8-add0-11de-ae77-5bfb9c5a3f34