Fixing error on renaming

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

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2332 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
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

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2334 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Removing a documentation comment

Private methods don't need documentation.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2336 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
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.

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