tf = new TestFramework();
tf.prepare("import StrategyTests;");
tf.prepareMore("import TopologicalStrategy;");
tf.prepareMore("rel[value, value] r3 = {<a(), d()>, <a(), e()>, <d(), e()>, <a(), {<a(), e()>}>};");
assertTrue(tf.runTestInSameEvaluator("topological_innermost(rules6)(r3) == {<h(aa()), h(dd())>, <h(aa()), h(ee())>, <h(dd()),h(ee())>, <h(aa()), {<h(aa()), h(ee())>}>}"));
tf = new TestFramework();
tf.prepare("import StrategyTests;");
tf.prepareMore("import TopologicalStrategy;");
tf.prepareMore("rel[value, value] r3 = {<a(), d()>, <a(), e()>, <d(), e()>, <a(), {<a(), e()>}>};");