tf.prepareMore("import Strategy;");
tf.prepareMore("A t = f(g(g(b())),g(g(b())));");
assertTrue(tf.runTestInSameEvaluator("top_down(rules)(t) == f(g(b()),g(b()))"));
tf = new TestFramework();
tf.prepare("import StrategyTests;");
tf.prepareMore("import Strategy;");
tf.prepareMore("A t = f(g(g(b())),g(g(b())));");
assertTrue(tf.runTestInSameEvaluator("bottom_up(rules)(t) == f(b(),b())"));
tf = new TestFramework();
tf.prepare("import StrategyTests;");