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