Push successors relation to body from instructions.
Construct predecessor edges.
Merge pull request #2 from patricklam/master

Refactor .successors to body, create .predecessors.