Infinite structures

[Bart Bogaerts]

We should think about how to deal with infinite structures and adapt the code to this:

• What do we expect the "grounding" to be if something is infinte? -> addFuncConstraints() should be adapted to this
• I guess the modelexpansion for a infinte structure should be three valued? (or at least could be three valued). The method allTwoValuedExtensions should be adapted to this (or maybe shouldn't be called in this case)

[Broes De Cat]

Removing milestone: Later (automated comment)