Remove some pragma printing
Fix bug where some let bindings were not generated
Remove single redundant space