let logic_label lab =
let label_name s =
LabelName {
label_info_name = s;
label_info_final_name = s;
times_used = 0;
}
in
match lab with
| LogicLabel s -> label_name s
| StmtLabel sref ->
let labels = filter_out is_case_label !sref.labels in
assert (not (labels = []));
label_name (label (List.hd labels))