[wip] Fix out of memory during expansion of models.

Before all possible models were calculated which could result in a OOM.
A smarter approach is to create only the models that can be mapped to valid counter examples. This can be done by looking at the domain of a variable.