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