labeler
set_label(sdfg, qualname, is_top_sdfg)
Surround the SDFG with two state/library node combo labelling the code for future reference in further optimization.
WARNING: The Label are passthrough, any use of simplify() will remove
them from the SDFG and this is on purpose so there's no traces of them
in runtime.