unary expressions and refactoring
expression tests
predicate error notification test