pub fn eval<B: BV, E: BorrowMut<Event<B>>>(events: &mut Vec<E>)
Evaluate SMT subexpressions if all their arguments are constant