Encode "if not previous rules" for overlapping rules, including priority semantics

Question

Opened this issue a year ago · 0 comments

Right now we are handling this via adding assumptions explicitly.