let cardinal_zero_or_one t = match t with C_init_noesc v -> V.cardinal_zero_or_one v | C_init_esc v | C_uninit_noesc v -> V.is_bottom v | C_uninit_esc _ -> false