Currently, the verification conditions that WP spits out are for every member simultaneously, meaning even if some members do verify, if a single one doesn't, the entire query fails. We can probably do better by emitting VCs one-by-one for each member.
Currently, the verification conditions that WP spits out are for every member simultaneously, meaning even if some members do verify, if a single one doesn't, the entire query fails. We can probably do better by emitting VCs one-by-one for each member.