SI-7480 Add a test for mutually recursive tailcalls