Code to call validation of modeled invariants