Check that the path from loc1 to loc2 is clear. We have to check that there is no side effect between the two location points. We also have to check that the variable `reg` is not redefined along one of the possible pathes from loc1 to loc2.
(graph, reg, loc1, loc2)
source not stored for this graph (policy: none)
no test coverage detected