Well-founded proof for Nat, lt. Termination trouble