Let us assume that you\'ve got a class in C++, for example with an internal state machine that is hard to test. Assume that you have a proper architecture with mocks for all
