Replace UnionFind.is_ptr_type with existing GoblintCil.isPointerType.

Author: jerhard

src/cdomains/congruenceClosure.ml

@@ -1469,7 +1469,7 @@ module MayBeEqual = struct
         let comp = Disequalities.comp_t cc.uf term in
         let valid_term (t, z) =
           let typ = T.type_of_term t in
-          T.is_ptr_type typ
+          GoblintCil.isPointerType typ
         in
         List.filter valid_term comp
       else

src/cdomains/unionFind.ml

@@ -206,11 +206,6 @@ module T = struct
     | _ ->
       false
 
-  let is_ptr_type t =
-    match Cil.unrollType t with
-    | TPtr _ -> true
-    | _ -> false
-
   let aux_term_of_varinfo vinfo =
     let var = Var (Var.to_varinfo vinfo) in
     let lval = Lval (var, NoOffset) in