Introductions (declare parents) errors

Reports @AspectJ Introduction inconsistency: it checks whether the defaultImpl is required and if yes, whether it implements the given interface.