Assertion list for term "trace in upper part".

Results from Ascent++: 1
metal CapableOftrace in upper part 0.30