Reduce Example - C++ Typing CST Test