Function filter

pub fn filter<E: SignExpr>(expr: &E) -> Certified

The interval filter alone, so escalation can be observed and measured.

[Certified::Uncertain] means the exact tier is needed.