let prepare_behaviors_spec ki id a = let labels = match ki with | Kglobal -> NormAtLabels.labels_fct_pre | Kstmt s -> NormAtLabels.labels_stmt_pre s in (labels, id, a)