Control flow is often represented as a control flow graph which contains an edge from statement A to B when there exists an execution in which B executes immediately after A. In imperative programs, ...