dataflow/manual/examples/CFGSimple.java

class Test {
  void test(boolean b) {
    int x = 2;
    if (b) {
      x = 1;
    }
  }
}