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

abstract B = A - [A1] ** {

}