Set FOLApp, FOLAbs protected.
Had to remove some debugging pretty-printing code from TreeGrammarDecomposition in order to do so.


git-svn-id: https://gapt.googlecode.com/svn/trunk@2331 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fixing error on renaming

When the maxVariant in the backlist is not a
VariantSymbol, it can be of any other type, not
only StringSymbol.
Modification to the testCutIntro script

The calls were simplified and the logging is now
concentrated in one place.
Organizing cut-introduction code

The actual code that executes the cut-introduction
algorithm is inside private methods and three
public methods were created, one for each case:
- one_cut_one_quantifier
- one_cut_many_quantifiers
- many_cuts_one_quantifier

The object NCutIntroduction was deleted and its
methods were moved to CutIntroduction.

Conflicts:
	source/algorithms/cutIntroduction/src/main/scala/at/logic/algorithms/cutIntroduction/CutIntroduction.scala
Adapting cut-introduction tests to the new methods

Also added a comment regarding the format of the log.
Removing a documentation comment

Private methods don't need documentation.
Removing Constraints package

With the new implementation of cut-introduction
there is no need for constraints anymore.
Also adapting the help text to the new functions.