Function is_mutating_any 

pub fn is_mutating_any(op: &str) -> bool

Does op write a store field of some kind? For a caller that already holds the op resolved against its own field’s kind (a Callee::Store), so the op name alone is unambiguous.