Additional ground nogoods generated for choice rules

[rtaupe]

This is an alternative approach to #282 which aims for the same goal. In comparison, this pull request is (at least currently) less cleanly implemented, but is more efficient (because ground binary nogoods are directly created instead of generating constraints which lead to larger nogoods).

For a discussion, see #282.