Anfonwch hwn fel neges destun: Directed reachability for infinite-state systems