unfinished dot printer
merge dot parser in AST
sections added to reaching def and control flow