Encode "if not previous rules" for overlapping rules, including priority semantics #32
Description
Right now we are handling this via adding assumptions explicitly.
{{ message }}
Right now we are handling this via adding assumptions explicitly.