Fixed a very stupid bug in the entailment check