let equal (n1, kf1) (n2, kf2) =
    Kernel_function.equal kf1 kf2 && PdgTypes.Node.equal n1 n2