Add `refute_exists` assertion.