Handling recursion over specific procedure types.