Refactor .successors to body, create .predecessors.

This patch should be enough to create simple Control-Flow graphs which handle IF/ELSE/EIF properly.