Better data structure to attach labels to machine

[marcosh]

Currently we are using a binary tree. Maybe we can generalize and reuse the StateMachine data structure, making it parametric on the content of its leaves