Update syntree.py