Recursion wellformedness