reimplemented SymbolicConstraint#renormalize to fix the long-lasting problem of loss of sort information
commented out unrelated tests temporarily