isla_axiomatic::axiomatic::relations
pub fn addr<B: BV>( ev1: &AxEvent<'_, B>, ev2: &AxEvent<'_, B>, thread_opcodes: &[Vec<B>], footprints: &HashMap<B, Footprint>) -> bool