The following overlap between dynamic rule left-hand sides is not detected:

rules( NextOffSet.f : f’ -> new-off )

rules( NextOffSet+f : Var(f) -> 0 )

The overlap is in the annotation:

Var(“main_0_0”){DR_DUMMY} -> 6cfec12d977ca2249b048fdc2135f88b

Var(“main_0_0”) -> (“57081a11cd6f20d520c217e8a856dbd8”,1)

(Are other forms of overlap still detected?)

Submitted on 20 November 2005 at 21:35