/FileExtraction/Java_unseen/mistupv_JavaSlicer/sdg-core/src/test/res/regression/programs/cfg/Eval_2.java.sdg.sliced
package tfm.programs.cfg;

public class Eval_2 {

    public static void main(String[] args) {
        int x = 1;
        if (x <= 1) {
            if (x <= 2) {
                if (x <= 3) {
                    x++;
                } else
                    x--;
            } else
                x--;
        }
        System.out.println(x);
    }
}
