Generates an iterable control flow graph for each. Works for ifs, fors, whiles. Currently does not fully support trys, excepts and finallys.