Recursion Example - C++ Typing CST Test