bugfix in proofState.Passive.next when only 1 queue is present
bugfix in proofState.Passive.next when only 1 queue is present

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition