This function returns a goal that applies the evaluator e to the search tree defined by the goal goal. In doing so, it changes the order of evaluation according to e of the open nodes of the search tree.