isla_axiomatic::axiomatic::relations
pub fn univ<B: BV>(_: &AxEvent<'_, B>, _: &AxEvent<'_, B>) -> bool