Following #1816 and #1825, we need to add the notion of Violation in the parser so as to link Diagnostics and Rules
