Function try_such_that 

pub fn try_such_that<T>(p: Mapping<T, bool>) -> Option<T>

A variant of such_that that returns an Option<T>, returning None if no value satisfies the property.

logic

ensures

match result {
    Some(v) => p[v],
    None => forall<x: T> !p[x],
}