Added initial control flow analysis data structures and arguments.
Merged branches.
Merged branches.