The label of a node is set to represent its number in AssureNotation