Added control flow edges