Move postcondition/3 before next_state/3 for clarity
It's nice when your test for OR-Set works for VV OR-Set too