- fixed bug in translation of while statements into cfg
- improved cfg pretty printing