Allowing recursion does not allow stack size control.
Check the possibility of prohibiting recursion of methods and functions and evaluate the appropriateness of such a restriction.
7B. Recursion. It shall be possible to call functions and procedures recursively.