A few more optimizations. The set-normalized warning reduced considerably, but 4 out of the 5 examples in my minitest still timeout in solvePropositional.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1802 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
implemented temporary datastructure for defined predicate term removal


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