Text this: Verification of Programs with Mutual Recursion in the Pifagor Language