Seol mar théacs é seo: Directed reachability for infinite-state systems