https://github.com/difflog-project/qd/blob/4af7366e1ebde0c2959bfc2d79a15295d3b819d7/src/main/scala/qd/evaluator/TrieEvaluator.scala#L128 This will fail to evaluate rules where the body relation contains constants.