At least two outgoing control flow edges, only one of which will be taken.
Represented as a sparse mapping to avoid storing an exponential number of unused options.
At least two outgoing control flow edges, only one of which will be taken.
Represented as a sparse mapping to avoid storing an exponential number of unused options.