add check1 test with unary minus (THIS SHOULD NOT COMPILE!!!)