Two bug-fixes regarding simplified vars.

Remove simplified variables from outOfBound list.
Don't check simplified variables for outOfBounds when
backtracking composite reasons.

Both were not triggered before, because outOfBounds was essentially
a noop for real variables with composite bounds.