KERML11 — Filter expression examples are not valid

Subclause 7.4.14 includes several examples of package filter expressions, such as

filter @Annotations::ApprovalAnnotation and
    Annotations::ApprovalAnnotation::approved and
    Annotations::ApprovalAnnotation::level > 1;

This example (like several others) has subexpressions that are feature reference expressions for non-package-level features, such as Annotations::Approval::approved. However, filter expressions are at package level (have no featuring type), and therefore do not have access to non-package-level features. This results in a violation of the validateSubsettingFeaturingTypes constraint on the subsetting of the referent of the feature reference expression by its result. To avoid this violation, the expression would need to use a cast, such as (as Annotations::Approval).approved.