class Axiom::Optimizer::Function::Predicate::Equality::Contradiction

Optimize when the operand are a contradiction