Bugfixes to cps to acl2 conversion.  Debugging loop termination.