Removing esc test files ...
Fix in adding "this" to the cg env.
Adding name to Nano for fixpoint created files.