This result highlights the effectiveness of the lightweight, transitionbased approach.
another concern of our work is about the model diversity obtained by the heterogeneous design of transition systems for general graph spanning.