Removed debug text
Verification and model checking using the GUI for the DSL now work