This inspection verifies @AspectJ Introduction consistency: whether the defaultImpl is required and, if yes, whether it implements the given interface