| ⇢ | C | IntroductionFilter::filterChunk() added | |
| ⇢ | C | InvariantFilter::filterChunk() added | |
| ⇢ | C | EnforcementFilter::filterChunk() added | |
| ⇢ | B | AdviceFilter::filterChunk() added | |
| ⇢ | B | PostconditionFilter::filterChunk() added | |
| ⇢ | B | PreconditionFilter::filterChunk() added | |
| ⇢ | B | ProcessingFilter::filterChunk() added | |
| ⇢ | A | SkeletonFilter::filterChunk() added | |
| D | ↛ | IntroductionFilter::filter() removed | |
| C | ↛ | EnforcementFilter::filter() removed | |
| C | ↛ | InvariantFilter::filter() removed | |
| C | ↛ | PostconditionFilter::filter() removed | |
| C | ↛ | PreconditionFilter::filter() removed | |
| C | ↛ | ProcessingFilter::filter() removed | |
| C | ↛ | AdviceFilter::filter() removed | |
| A | ↛ | SkeletonFilter::finish() removed | |
| A | ↛ | SkeletonFilter::filter() removed |