Symbol: trace_min_max_param