let eval_symetric_int positive binop cond_expr value =
  match positive,binop with
    | falseEq | true,  Ne -> V.diff_if_one value cond_expr
    | true,  Eq | falseNe -> V.narrow value cond_expr
    | _,_ -> value