Delete syntree.py