CP variable unnesting should use inequality wherever possible

[Broes De Cat]

For example during optimization, this is very important. (equality leads to a lot more search).