Tree Safety Specification Survey