Exclusive conditions are dropped when the same interval is matched

[Sean Kauffman]

This is best explained by the rule I found that triggered the bug

min_backwards :- x2:X unless after x1:X where x2.temp - x1.temp = 0

This is parsed into the following rules

H_XX-0 :- X also (null) map { F_temp-0 -> X.temp }
min_backwards :- H_XX-0 unless after X

This is obviously wrong, since the exclusive rule does not have the where clause. It should read

H_XX-0 :- X also (null) map { F_temp-0 -> X.temp }
min_backwards :- H_XX-0 unless after X where H_XX-0.F_temp-0 - X.temp = 0

I am guessing that the issue is that both matched intervals are X here, but I am not sure.