AbstractDerivedAspect: check whether an aspect is abtract
... fine if this is underlined twice!
=====================================
=====================================