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.