let label_key label_stmt label = Label (label_stmt.sid,label)