let cardinal_less_than t b = match t with C_init_noesc v -> V.cardinal_less_than v b | _ -> raise Abstract_interp.Not_less_than