class Scratch {

  private String s = null;

  void foo() {
    s = "1";
    <warning descr="silly null check">s = "2";</warning>
    if (s == null) {
      throw new IllegalStateException("drunk");
    }
  }

}