Removed debug print statement
Added vardec link to id of temporary boolean
Changed __init function to export true
Changed traversal of dowhileloops to use dowhileloops macros