nullity: initial tests

java/java-tests/testData/codeInsight/nullityinferrer/afterParameterDereferenced.java

@@ -0,0 +1,15 @@
+import org.jetbrains.annotations.*;
+
+class Test {
+  void foo(@NotNull String s) {
+    s.substring(0);
+  }
+
+  /**
+   * @param str
+   */
+  void bar(@NotNull String str) {
+    if (str.substring(0) == null) {
+    }
+  }
+}