Definition grounding is really inefficient for large relationships

[Broes De Cat]

After grounding all rules, the code (in DefinitionGrounder::internalRun) iterates over all possibly true tuples and if they have not been translated, makes them false. Instead, it should store all translated tuples and set the PT table in the structure on those!