/FileExtraction/Java_unseen/mistupv_JavaSlicer/sdg-core/src/test/res/regression/programs/cfg/CFG_Test3.java
public class CFG_Test3 {
    public static void main(String[] args) {
        int a = 1;
        while (a < 10)
            a++;
        System.out.println(a);
    }
}