Meaning of index is not defined consistently

[fairlight1337]

The index vector in the Solution class has different meanings for different predicates (or facts), and will ultimately lead to problems when not consistently defined over all areas.

Mentioned here: #34

[fairlight1337]

@mpomarlan was this fixed with your commit about the fact indices (e8f0328)?