let debvpkg to_cudf ((n,a),c) =
  let name =
    CudfAdd.encode (
      if Option.is_none a then n
      else ((Option.get a)^":"^n)
    )
  in
  let constr =
    match CudfAdd.cudfop c with
    |None -> None
    |Some(op,v) -> Some(op,snd(to_cudf (name,v)))
  in
  (name,constr)