let get_spec_assigns ki spec =
  let assigns = Ast_info.merge_assigns spec.spec_behavior in
  let l, labels = ki_assigns_labels ki in
  let assigns = merge_assigns labels assigns in
    l, assigns