Move unary minus (shouldfail) tests and annotate them