Instance invariance is limited to classes and/or methods with explicitly applied attribute.
Continued work on call invariance implementation.