Attempt to propagate a distance constraint into a subscript pair (Src and Dst). Return true if some simplification occurs. If the simplification isn't exact (that is, if it is conservative in terms of dependence), set consistent to false.
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected