rpn expression validation and some negative specs added