Added tests for mutual recursion and TCO