Үүнийг мессежээр илгээх: Directed reachability for infinite-state systems