/FileExtraction/Java_unseen/mistupv_JavaSlicer/sdg-core/src/test/res/regression/carlos/TestJosep.java.sdg.sliced
public class TestJosep {

    public static void main(int y) {
        int z = 0;
        switch(z) {
            case 1:
                x--;
                break;
            case 2:
                x++;
        }
        log(x);
    }
}
