class X {
  * -- 0..1 A a;
  a {
    s1 {
      e1 -> s2;
    }
    s2 {}
  }
}

class A {}