The /recursion qualifier informs KAP that functions in
the source program may be called recursively, that is, the function
calls itself, or it calls another routine which calls it.
The /recursion qualifier must be in force in each
recursive routine that KAP processes, or unsafe transformations
could result.