Fixed the bug causing failures in the creation of binary LK rules. The reason was that variable renaming was not always applied. Fixes the farmer's riddle and some others.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1600 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
small change in the last commit

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