Make globals pass the CFG

CFG as in Control Flow Graph analysis