Function expr_is_loop_invariant 

fn expr_is_loop_invariant<'hir>(
    gcx: Gcx<'hir>,
    hir: &'hir Hir<'hir>,
    expr: &'hir Expr<'hir>,
    written_vars: &[VariableId],
) -> bool