Added a test case for tail recursive functions (Guido says Python will never do TRE, but just in case...)