creates a control flow graph from an esprima abstract syntax tree