I'm not sure I fully understand the caveat proposal, but it seems to add checks on the relation, which would be a no-go for us: we can't afford re-writing relations when we want to update policy logic