Various forms of ignoring contradictions during validation (for negation elimination and postconditions).