hardcode Guava Preconditions.checkNotNull contract

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

@@ -0,0 +1,11 @@
+import org.jetbrains.annotations.Nullable;
+
+class Contracts {
+
+  private void check(@Nullable Object o) {
+    com.google.common.base.Preconditions.checkNotNull(o);
+    System.out.println(o.hashCode());
+  }
+
+
+}