File: lab_mc_test2.e<'import lab_mc_env;extend lab_mc_driver_u {    keep soft mc_delay == 1;    keep soft reset_delay == select {        4: [20..399];        6: [700..1000];    };        keep soft reset_delay == ((mc_speed_now == mc_target_speed and mc_target_speed >700) ? 0 : reset_delay);        keep soft mc_target_speed == select {         1: [300..499];        50: [500..999];        50: [1000..2999];        5: [3000..4999];        1: [5000..8191];    };         keep soft mc_min_speed == select {        1: [50..199];        50: [200..299];        50: [300..799];        5: [800..2499];        1: [2500..8191];    };           keep mc_target_speed in [300..499] => mc_min_speed in [50..199];    keep mc_target_speed in [500..999] => mc_min_speed in [200..299];    keep mc_target_speed in [1000..2999] => mc_min_speed in [300..799];    keep mc_target_speed in [3000..4999] => mc_min_speed in [800..2499];    keep mc_target_speed in [5000..8191] => mc_min_speed in [2500..8191];                --keep soft speed_temp == ((mc_target_speed >= 700) ? div_round_up(mc_target_speed, mc_min_speed) : (odd(mc_target_speed) ? 1 : mc_target_speed));           keep mc_target_speed in [300..499] => speed_temp == mc_target_speed ;    keep mc_target_speed in [500..999] => speed_temp == 1 ;    keep mc_target_speed in [1000..2999] => speed_temp == (even(mc_target_speed) ? div_round_up(mc_target_speed, mc_min_speed) : 1);    keep mc_target_speed in [3000..4999] => speed_temp == (odd(mc_target_speed) ? (mc_target_speed - 1) / 10 : mc_target_speed / 10);        keep mc_target_speed in [5000..8191] => speed_temp in [500..700];         keep soft counter in [2000..5000];       };'>