AST* branch reordering