Constrained pattern matching