具体例

  int main() {
    int i = 42;           // BB1
    while (i < 100) i++;  // BB2
    return i;             // BB3
  }

の CFG