I am trying add the new rule to fix #3810 and I find the lines around negated puzzling. For example,

Why each rule has to calculate this negated property?
Why it can not just receive the negated as a bool param?
Where this negated is realistically used?