We fixed a bug which was causing some test cases to fail. The reason
was get_distinguishing_formulae returning a non-empty list of (n, k,
f) tuples in the case when the defender won. This caused checknkRel to
wrongly assume "false" values for "true" cases and this caused
test121,122,123 to fail.