File: lab_mc_test3.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 [0..299] => mc_target_speed >= mc_min_speed;    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) : ((mc_target_speed < 700 and mc_target_speed >= 320) ? 1 : mc_target_speed));         -- keep mc_target_speed in [500..999] => speed_temp == mc_target_speed ;  -- keep mc_target_speed in [1000..2999] => speed_temp == div_round_up(mc_target_speed, mc_min_speed);  -- 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];       };'>