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