Comment by Volt

> Just ensure the invariant function is called at every method

You make this sound way easier than I would expect it to be in the general case.