pub fn remove_unused<B: BV, E: Borrow<Event<B>>>(events: &mut Vec<E>)
Removes SMT events that are not used by any observable event (such as a memory read or write).