Labels that were computed during analysis. A label provides extra information that helps understand the state of the leak trace object.