Function isla_axiomatic::axiomatic::relations::data

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