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