Module Splitting
INTERNAL: Do not use.
Provides classes and predicates relevant for splitting the control flow graph.
Import path
import semmle.code.csharp.controlflow.internal.SplittingClasses
| Split | A split for a control flow element. For example, a tag that determines how to continue execution after leaving a |