Attribute successors() fixed such that a goto instruction has only one
successor, its target. As a consequence, an exit point can have zero
predecessors, which is the case if the method has no return statement,
e.g. because it contains an inifinte loop.