Bidirectional edge optimization does only work for one-component rule test graphs, because currently we dont have a notion of an rule test graph with several components. For each of these a root must be found, if the component is cyclic!! Currently this is done only for the rule test graph completely. This results in a incorrect reduction of order because roots are forgotten.