checkConsistency can be done more efficient

[Bart Bogaerts]

We could create a method in internalpredtable that takes intersection. In some cases this can be optimized in some cases (e.g. two bddtables)...

_inconsistentElements could then become a predtable instead of a set of tuples.