patience: refinement in progress: done play_cards
patience: refinement in progress
patience: added a glue invariant