module Control {  
    type port gt1 message {
        inout integer
    }
    
    type component ct1 {
        var integer cv_s0;
        port gt1 g1 ;
        port gt1 g2 ;
    }

    function f_ConditionalSpec(integer p1, integer p2) {
    }

    testcase tc_E1(integer p1, integer p2) runs on ct1 {
    }

    control {
        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;
        
        v_s0 := 1;
        execute(tc_E1(v_s1, v_s2),v_s3,v_s4)
        if (v_s2 > v_s0) {
            v_s1 := 1;
            v_s5 := v_s2 + v_s4;    
        } else {
            v_s1 := 2;
        }
        v_s3 := v_s1 + v_s5;
        
    }      
}