1. A system for verifying that a comparison model having folded expressions matches a reference model, the system comprising: at least one memory device that stores a reference model and a comparison model, wherein the comparison model was previously generated based on the reference model; wherein the reference model adheres to a first set of syntax and semantics, wherein the reference model includes a plurality of first expressions, each of the first expressions including a first operator and a first operand; wherein the comparison model adheres to a second set of syntax and semantics, wherein the comparison model includes a second expression, the second expression including a second operator and a second operand; and a processing unit configured to match the second expression with the plurality of first expressions.