1. A computer-implemented method performed by a computerized device, comprising: obtaining invariants with respect to a first model; determining a portion of the invariants that are invariants with respect to a second model; and utilizing the portion of the invariants to check that the second model holds a property.