Fix broken TestUnfeasibleSimpleExist.
Fix broken TestUnfeasibleSimpleExist.

This fixes the broken test after fixing the bug for fully specified clauses. This work is part of beefing up the compliance test as part of #25.

google/badwolf