Extracted the generation of Multiplicity Checks to a Code Generator within the Consistency Predicates module.