The problem was in the Relation.knows function. It evaluated to False on the query Relation.knows 1 2 Number { from = 1, to = 2, kind = Secret }, even though that should evaluate to True. The function now uses Relation.atLeast to make sure that the check is correct.
Fixes #53
The problem was in the
Relation.knowsfunction. It evaluated toFalseon the queryRelation.knows 1 2 Number { from = 1, to = 2, kind = Secret }, even though that should evaluate toTrue. The function now usesRelation.atLeastto make sure that the check is correct.