let pcmp_operator op x y =
match op with
| Eq -> D.equal_pointer_bool x y
| Ne -> F.e_not ( D.equal_pointer_bool x y)
| Lt -> D.lt_pointer_bool x y
| Le -> D.le_pointer_bool x y
| Ge -> D.le_pointer_bool y x
| Gt -> D.lt_pointer_bool y x
| _ -> assert false