The SCIP analysis does not emit symbol occurrences for overloaded operator calls. It does emit the right occurrence when using the method syntax though.
For instance:
use std::ops::AddAssign;
struct S;
impl AddAssign for S {
fn add_assign(&mut self, _rhs: Self) {}
}
fn main() {
let mut s = S;
s += S; // does not emit an add_assign occurrence
s.add_assign(S); // emits an `impl#[S][`AddAssign<Self>`]add_assign().` occurrence
}