package npe;

import java.util.HashMap;
import java.util.Map;

public class WithAssertions {
	Map<String, String> map = new HashMap<String,String>();
	int f(String s) {
		String result  = map.get(s);
		assert result != null : "Result shouldn't be null";
		// I think this should be reported
		return  result.hashCode();
	}

}

@@ -256,39 +256,25 @@
 %09// 
-I think this should be
+don't
  report
-ed
+ this
 %0A%09%09r

change my belief about whether this should be reported