graphexecutive producing correct result by recursively transcluding precondition branches