aspect Aspect {
    declare parents: B extends A;
}