340a341,343
> bool elaborationDone() { return _elaborationDone; }
> void elaborationDone(bool b) { _elaborationDone = b; }
>
412a416
> bool _elaborationDone;