let eval_antisymetric_int ~typ_loc:_ positive binop cond_expr value =
  try match positive,binop with
    | true,  Le | falseGt -> V.filter_le value ~cond_expr
    | true,  Ge | falseLt -> V.filter_ge value ~cond_expr
    | falseLe | true,  Gt -> V.filter_gt value ~cond_expr
    | falseGe | true,  Lt -> V.filter_lt value ~cond_expr
    | _,_ -> value
  with V.Error_Bottom -> V.bottom