return the max label in the labeling process. the range of labels is [0..max_label]
()
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected