runThroughAST() finished