initial work towards control flow graph