let ptr_bool_cmp_binop op p1 p2 = (* TODO : have specific operations ? *)
  let e =  sub_pointer p1 p2 in
  let zero = int_zero in
    int_bool_cmp_binop_name op e zero