Checks whether the instance has inverse attributes with violated size constraints and retrieves the list of such attributes.
true if all inverse attribute constraints are satisfied or if the instance has no inverse attributes; otherwise, the method returns false.