module Conditionals {    
    function f_ConditionalSimple() {
        var integer v_s0;
        var integer v_s1;
        var integer v_s2 := 1;
        var integer v_s3;
        var integer v_s4;
        
        if (v_s2 == 1) {
            //s3 yes within / maybe outside, s1 not
            v_s3 := v_s2 + 1 + v_s1; 
        }
        //s3 maybe
        v_s4 := v_s3; 
    }

    function f_ConditionalElse() {
        var integer v_s0;
        var integer v_s1;
        var integer v_s2 := 1;
        var integer v_s3;
        var integer v_s4;
        var integer v_s5;

        if (v_s2 == 1) {
            //s1 yes within / maybe outside
            v_s1 := v_s2 + 1; 
            if (v_s2 == 1) {
                //s3 no, s4 yes within / maybe outside
                v_s4 := v_s3 + 1; 
            } else if (v_s2 == 2) {
                //s3 no, s4 yes within / maybe outside
                v_s4 := v_s3 + 1; 
            } else {
                //s3 no, s4 yes within / maybe outside -> yes in parent
                v_s4 := v_s3 + 1; 
                //s3 no -> yes within / maybe outside
                v_s3 := v_s3 + 1; 
            }
            //s3 maybe, s4 yes
            v_s0 := v_s4 + v_s3; 
            var integer v_s0a := 1; 
        } else {
            //s4 yes
            v_s4 := 1;
            v_s0 := v_s0 + 1;
            var integer v_s0a := 2;
        }
        //s3 maybe, s4 yes, v_s0a shall not be resolved!
        v_s5 := v_s4 + v_s3 + v_s0a;

    }
}