fn constant_var_is_zero( hir: &Hir<'_>, var_id: VariableId, seen: &mut BTreeSet<VariableId>, ) -> bool