An algorithm better than AO*?