public aspect X1 {
  declare parents: B1 extends A1;
}