Bug fix: simplifying/preserving only parameter-related constraints in disjunction elimination.