Fixed a name clashing bug between locals and globals. Corral also now supports SMACK's debug info format, and so no postprocessing of SMACK's output is needed any more.