This means that you have to set the pointer one step further at the end
of each loop iteration.

It only makes problems....

Avoid that the actuall reasoner call is removed together with the
assert() on the use of heavy compiler optimization flags.