Supported checking variance validities for variables and exceptions