let logic_label_name label = match label with
  | LogicLabel l -> l
  | StmtLabel stmt_ref -> (get_one_stmt_label !stmt_ref)