Text this: Automated termination proofs using Walther recursion