lifted unary operators tests