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);

}