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