Aggtermgrounder incorrect for known sets

The atomgrounder does //not// guarantee that it returns _true or _false, even if the atom is true/false in the structure (this was related to a bug with recursively defined symbols). The aggtermgrounder builds upon this (incorrect) assumption when it is constructed with a set which can be calculated, so this should be fixed in some way. If this assumption is violated, it also crashes in an unexpected manner somewhere a lot deeper when cp happens to be turned off. The aggtermgrounder should check for itself whether cp is on before calling that part of its functionality.

Comments (2)