Moving DTG creation to the search component is the topic of issue549, so I close
this one.

This is part of the larger issue26, and it would probably make sense to split
this part off the issue into a separate one. Anyone interested in looking into this?

Okay, so we close this one? Is there an issue for the work you mention which we
could link to?

From the title of the issue, I assume you mean transitions in the DTGs?

We're planning to get rid of the DTGs in the preprocessor output anyway and have
done most of the work in this direction already. Can I suggest we do this
instead? I don't think it should be much work (or at least it shouldn't be much
work to find out whether or not it is much work ;-)).

I recently found that the output generated by the preprocessor differs when
using binaries from different machines, i.e. it is not deterministic. After
having a look at the code with Florian, we believe that transitions should also
be sorted according to their operator number, rather than according to the
operator cost. In the example we looked at, sorting only according to transition
target and condition size (and operator cost) was not a criterion which produced
a unique result.