Function call_may_mutate_state 

fn call_may_mutate_state(gcx: Gcx<'_>, hir: &Hir<'_>, callee: &Expr<'_>) -> bool