Removed superfluous .asInstanceOf[]s.


git-svn-id: http://gapt.googlecode.com/svn/trunk@2180 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
turing VeriTProver into a class i) for consistency with other provers and ii) for passing it as argument to minimalExpansionSequents

git-svn-id: http://gapt.googlecode.com/svn/trunk@2181 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
NCutIntroduction, MaxSAT, TreeGrammarDecomposition: added applyStat methods to get additional statistical information


git-svn-id: http://gapt.googlecode.com/svn/trunk@2182 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fixes issue 269.

git-svn-id: http://gapt.googlecode.com/svn/trunk@2183 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Merge remote-tracking branch 'svn/trunk'