Resolve disjunctive constraints offline using the result of solving them online during normalization.