I think that one way to think about this is with the difference between "source" vs "direct" vs "transitive" constraints. Currently these are being used as source constraints, but I think that they are more useful as transit constraints.