File: lab_mc_cover.e<'extend lab_mc_monitor_u {            cover mc_check_reset_e is {          item mc_pwme_dut using          ignore = not(mc_pwme_dut == 1);       item mc_state_ori using          ignore = not(mc_state_ori in [0,1,2,3]);       cross mc_pwme_dut, mc_state_ori using          ignore = not(mc_pwme_dut == 1 and mc_state_ori in [0,1,2,3]);    };        cover mc_check_e is {              item mc_state_ori using          ignore = not(mc_state_ori in [0,1,2,3]);       item mc_state_dut using          ignore = not(mc_state_dut in [0,1,2,3]);       item mc_check_checker_c using          ignore = not(mc_check_checker_c == TRUE);       cross mc_state_ori,mc_state_dut,mc_check_checker_c using          ignore = not(((mc_state_ori in [0,1,3] and mc_state_dut in [0,1,2,3]) or (mc_state_ori ==2 and mc_state_dut in [0,1,3]))  and mc_check_checker_c == TRUE);           };                   };extend sys {    setup() is also {       set_config(cover, mode, on);    };    };'>