PP constraint

additional to #1237, targeted at 1.7.x
Want another test here : this case should pass a field even when the stash does *not* match.