fixed problems with if-then cfg, added code for while loops, and created a printCFG function which produces .dot files