Module MakeWithSplitting::SplitImplementations::ConditionalCompletionSplitting

Provides an implementation of splitting for conditional completions.

For example, in

if x && !y {
  // ...
}

we record whether x, y, and !y evaluate to true or false, and restrict the edges out of !y and x && !y accordingly.