let pcmp_rel op x y =
    match op with
      | Eq -> M.equal_loc x y
      | Ne -> F.p_not (M.equal_loc x y)
      | Lt -> M.lt_loc x y
      | Le -> M.le_loc x y
      | Ge -> M.le_loc y x
      | Gt -> M.lt_loc y x
      | _ -> WpLog.fatal "[pcmp_rel] non relation"