When the GUI runs a trace, it saves it to debugLastTrace.txt
Shortened labels on graph edges generated by CallTree- and FieldBasedAlgorithm