This inspection check that in any call to super(A, B), B either is an instance of A or a subclass of A.