1. check for references to undefined/uninitialized parameters. 2. generate a warning if a chemical species referenced in the expression is not a reactant 3. detect when an expression is mass balance kinetics, and verify the functional form 4. detect when an expression is Michaelis-Menten, and verify the functional form