1The situation in this test was discovered by running dexfuzz on
2another fuzzingly random generated Java test. The soft verification
3fail (on the final field modification) should not hide the hard
4verification fail (on the type mismatch) to avoid a crash later on.
5