This is something that should be caught before it reaches Nicolai's eyes. The explicit use of "this->" is not allowed. But it should not catch things like "do_this->now". It should also not catch things like "(this->*(action->function))(g, state, action)", which seem to be needed in some places.
