File: lab_mc_cover.e<'extend lab_mc_monitor_u {    keep soft mc_state_ori in [0,1,2,3];    keep soft mc_state_dut in [0,1,2,3];        cover mc_reset_r_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 == 0);       item mc_reset_checker_c using          ignore = not(mc_reset_checker_c == TRUE);       cross mc_state_ori, mc_state_dut, mc_reset_checker_c using          ignore = not(mc_state_ori in [0,1,2,3] and mc_state_dut == 0 and mc_reset_checker_c == TRUE);      };    ------------------------------------------------------------                       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,2,3] and mc_state_dut in [0,1,2,3] and mc_check_checker_c == TRUE);                              }; };extend sys {    setup() is also {       set_config(cover, mode, on);    };    };'>