Merge pull request #503 from m-a-d-n-e-s-s/pr-tree-operations

Merge pull request #503 from m-a-d-n-e-s-s/pr-tree-operations #151