Logic completion: rewrite the ask constraint (in entailment)

[ptal]

Currently constraint passed for entailment checking are not rewritten if part of it is already entailed (or disentailed).