Reverting r2148

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2152 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
fixed some bugs in robinson to ral, bug fixes to ral (one in sub still pending)

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