optima
optima copied to clipboard
Improve NOT pattern compilation
- Eliminate double negation