Adding another ChooseProduct falsifies invariants.