For a given outlives constraint and CFG edge, returns the localized constraint with the
appropriate from-to direction. This is computed according to whether the constraint flows to
or from a free region in the given value, some kind of result for an effectful operation, like
the LHS of an assignment.