class Axiom::Optimizer::Function::Predicate::Inequality::Tautology

Optimize when the operand are a tautology