Minimal variant of the `split` phase.
Do not drop parameters absent from an invariant, because they can appear in nested invariants (alternative is to drop parameters absent from all invariants). Tests update.