let mk_loop_label s = (* TODO: clean that !*) c_label (loop_head_label s)