Added missing depdency to FindsubtreeProofs