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)