Patterns for negated predicate combine operands

* also added negated branch condition