We will need even more "levels" in the near future

for further extension

So far, it did not set the qp tuple correctly and
thus sometimes resulted in too big numbers being
chosen.

Instationary stuff not fixed so far.

Now working apart from iteration order deterministicness

will be superseded by our actual model anyway.

Still not beautiful...

This time only for sumfact, as we need direction dependency.