sig
  type t =
      (PrintSlice.PrintProject.node * PrintSlice.PrintProject.node) *
      Cil_types.stmt option
  val src : ('a * 'b) * 'c -> 'a
  val dst : ('a * 'b) * 'c -> 'b
end