1Test cases that should be rejected by the method verifier.
2
3NOTE: needs to run under ART.
4