don't fail on let expressions - need to confirm it does the right thing though
improve printing of graphs
add first hack at generating dot representation for cfgs