Class EmptinessSuccessor

An emptiness control flow successor.

For example, this program fragment:

foreach (var arg in args)
{
    yield return arg;
}
yield return "";

has a control flow graph containing emptiness successors:

          args
           |
       loop-header------<-----
          / \                 \
         /   \                |
        /     \               |
       /       \              |
    empty    non-empty        |
      |          \            |
yield return ""   \           |
                var arg       |
                   |          |
            yield return arg  |
                    \_________/