Add test for implicit recursion