Bug fixes for entailment check.