- fixed verification with unary operators