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