Read-only release history for Tree-Predicate