let
mk_stmt_label s =
(* TODO: clean that !*)
c_label (mk_logic_label s)