enforced order-sorted condition in SymbolicConstraint#substitution