Lets say we have the member function incrementBy(int increment) ``` struct Counter { int count;
void incrementBy(int increment) in { assert(increment >= 0, "increment must be zero or greater"); } out { // want to state assert(count == old(count) + increment); } do { this.count += increment; } } ``` old(count) is the value of count on entry to incrementBy() old count is Eiffel syntax. How is this done in D?