dataflow/manual/examples/CFGAssert.java

class Test {
  void testAssert(Object a) {
    assert a != null
      : "Argument is null";
  }
}