/*****************************************************************
 ** @author   STF 433
 ** @version  0.0.2
 ** @purpose  1:26.2, Ensure that the check statements are not allowed in the control part.
 ** @verdict  pass reject
 *****************************************************************/

module NegSem_2602_TheControlPart_024 {

    type port MyPort procedure {
        inout MyProcedure
    }

    type component MTCComp {
        port MyPort p;
    }

    signature MyProcedure(integer p_value, boolean p_bool);

    function f_createComp() return MTCComp {
        return  MTCComp.create;
    }

    control {
        var MTCComp v_myComp := f_createComp(); // assume create was accepted

        v_myComp.p.check;
    }

}