add specs to TreeSafety
Merge branch 'sec15_spec'