Read-only release history for Sub-PatternMatching