Improved AeBFS.