Testcase for mutual fixpoints.