Implement labelable nodes and optional node renumbering.