The optimize flag in the parser should also enable predicate negation optimization ala `!(!(a or b)) --> a or b`
