class AssumeFalseTest {
   void foo() {
     Object o = null;
     /*@ assume o != null; @*/
     Object[] a = new String[-5];
     a[-3] = new Integer(2);
   }
}