Function is_zero_value_inner 

fn is_zero_value_inner(
    hir: &Hir<'_>,
    expr: &Expr<'_>,
    seen: &mut BTreeSet<VariableId>,
) -> bool