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.

Which play well with the latest change to not assemble on the overlap.

We mistook a tag for an Id here...