class A refines B {}
class B refines C {}
class C refines A {}