xxxxxxxxxx
class A
{
int i = 2;
invariant { assert(i >= 2); }
}
class B : A
void setB(int v) { i = v; }
void main()
B b = new B;
b.setB(1);