Dynamic path conditions in dependence graphs. - Christian Hammer 001; Martin Grimme; Jens Krinke (PEPM, 2006)