dataflow/manual/examples/CFGIfStatement.java

class Test {
  void testIf(boolean b1) {
    int x = 0;
    if (b1) {
      x = 1;
    } else {
      x = 2;
    }
  }
}