gf-3.10: testsuite/compiler/check/restricted-inheritance/B.gf

abstract B = A - [A1] ** {

}