Expr possible

[commial]

Introduce possible_values, which outs the possible values of an Expr associated with its constraints.

For instance:

possible_values(
# ((cond1?(0x1,0x2))+(cond2?(0x3,0x4))
  Expr...
)
(0x2+0x3) with constraints:
    <cond2 != 0>
    <cond1 == 0>
(0x2+0x4) with constraints:
    <cond1 == 0>
    <cond2 == 0>
(0x1+0x4) with constraints:
    <cond1 != 0>
    <cond2 == 0>
(0x1+0x3) with constraints:
    <cond1 != 0>
    <cond2 != 0>

Thanks to @serpilliere