Function expr_has_fact_side_effect 

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