let pcmp_rel op x y =
    match op with
      | Eq -> F.p_eq x y
      | Ne -> F.p_neq x y
      | Lt -> D.lt_pointer x y
      | Le -> D.le_pointer x y
      | Ge -> D.le_pointer y x
      | Gt -> D.lt_pointer y x
      | _ -> assert false