Function objectively_accepted 

pub fn objectively_accepted<A>(
    vaf: &ValueBasedFramework<A>,
    arg: &A,
) -> Result<bool, Error>
where
    A: Clone + Eq + Hash + Ord + Debug,

Returns Ok(true) iff arg is accepted by every total ordering of the values mentioned in the framework.