Gravar-mail: Directed Reachability for Infinite-State Systems