Control Flow Graph construction. =)