Fix the int_pow decomposition when using potentially negative exponents

[Dekker1]

The FlatZinc decomposition of "int_pow" would use a zero default value for the base even raised to a negative value, causing unsatisfiability. This PR introduces a simpler decomposition that moves the default values for impossible exponent values to the result.

[zayenz]

Thanks @Dekker1 !