gras: quick prop tree unit test + fixes