Grounding functions

[Broes De Cat]

When a cp variable is added to the grounding, its ct and cf tables are added as unit clauses. However, if e.g. cf is very large (an assigned variables / a non-denoting one), it should be possible to go over the pt instead. (this happens in addKnown in the GroundTranslator).

[Broes De Cat]

e.g. voc: c:int theory: ?x[int]: c=x structure: c={} for c interpreted as empty, grounds infinitely, although it is handled as a "denotes" atom and does not iterate over x.