Function eventually 

pub fn eventually<S, F: Fn(&S) -> bool>(trace: &[S], predicate: F) -> bool

Return true if predicate holds for at least one element of trace.