fix Issue 519 - Invariant not called from autogenerated constructor
-dtor
--dtor
synchronized invariant is not callable from auto-generated constructor