Predicate ConstantExprs::successors_adapted

An adapted version of the successors_extended relation that excludes impossible control-flow edges - flow will never occur along these edges, so it is safe (and indeed sensible) to remove them.

predicate successors_adapted(Node pred, Node succ)