Function is_state_mutating_external_call 

pub(super) fn is_state_mutating_external_call<'gcx>(
    gcx: Gcx<'gcx>,
    callee: &Expr<'gcx>,
) -> bool

Like is_external_call, but excludes calls that cannot affect log ordering or observable state: staticcall and high-level view/pure callees (including this.*).