Comment by rurban

I especially like the ensure old syntax, https://docs.elementscompiler.com/Concepts/ClassContracts/

    ensure
      Count = old Count +1 
      : 'MyObject: Count logic error';

Never seen that before, but smartpascal also added it. Edit: blush, Bertrand Meyer introduced that already. Pretty