Update syntaxtree.h