There is currently no support for inherited circular attributes. This is problematic because in some cases it is useful to have circular inherited attributes. In ExtendJ for example the
assignedAfter attribute depends on an
assignedBefore attribute. They are mutually circular but
assignedBefore is inherited.
Example of a circular inherited attribute specification syntax:
inh int B.a() circular ; eq A.getB() = b(); syn int A.b() circular  = getB().a();