Apply hard-coded contract to Assume.assumeThat

Change-Id: I35f88942f58c295b9a7343fc28496f54fc8f4b80

java/java-tests/testData/inspection/dataFlow/fixture/AssumeThat.java

@@ -0,0 +1,11 @@
+import org.hamcrest.CoreMatchers;
+import org.jetbrains.annotations.Nullable;
+import static org.junit.Assume.assumeThat;
+
+class Contracts {
+
+  private void checkNotNullValue(@Nullable Object o) {
+    assumeThat(o, CoreMatchers.<Object>notNullValue());
+    System.out.println(o.hashCode());
+  }
+}