pick
| when store |= x > y -> skip
| when store |= x <= y -> skip
| when store |= x < y -> skip
| when store |= x >= y -> skip
| when store |= x <> y -> skip
| when store |= x == y -> skip