Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations