trace_ok_for_array
while (t && !trace_ok_for_array(t, tr))
if (!trace_ok_for_array(trace, tr))
if (!trace_ok_for_array(tracer, tr))