initial template for a sub traversal of an AST
The program traverses recursively a function

If the in the body of the function is a function call, the called function will be traversed as well.