what is the function of trace precedents?