cleaning up some debugging code accidentally left in
Merge pull request #66 from runtimeverification/minorCleanup

Minor cleanup