Fix #1662: do not simplify constraints for vanilla pattern matches