Assertion: tree's leaf | /r/HasProperty | reached
Facets:
Source sentences:
text: Some implementations limit the tree depth using hash tree depth prefixes before hashes, so any extracted hash chain is defined to be valid only if the prefix decreases at each step and is still positive when the leaf is reached.