Remove unused top_bool definitions from int domains

Author: sim642

src/cdomain/value/cdomains/int/bitfieldDomain.ml

@@ -52,7 +52,6 @@ module BitfieldArith (Ints_t : IntOps.IntOps) = struct
 
   let one = of_int Ints_t.one
   let zero = of_int Ints_t.zero
-  let top_bool = join one zero
 
   let bits_known (z,o) = z ^: o
   let bits_invalid (z,o) = !:(z |: o)

src/cdomain/value/cdomains/int/congruenceDomain.ml

@@ -124,7 +124,6 @@ struct
   let of_int ik (x: int_t) = normalize ik @@ Some (x, Z.zero)
   let zero = Some (Z.zero, Z.zero)
   let one  = Some (Z.one, Z.zero)
-  let top_bool = top()
 
   let of_bool _ik = function true -> one | false -> zero
 

src/cdomain/value/cdomains/int/defExcDomain.ml

@@ -298,7 +298,6 @@ struct
     | `Definite x -> Some (IntOps.BigIntOps.to_bool x)
     | `Excluded (s,r) when S.mem Z.zero s -> Some true
     | _ -> None
-  let top_bool = `Excluded (S.empty (), (0, 1))
 
   let of_interval ik (x,y) =
     if Z.compare x y = 0 then

src/cdomain/value/cdomains/int/intervalDomain.ml

@@ -114,7 +114,6 @@ struct
   let of_int ik (x: int_t) = of_interval ik (x,x)
   let zero = Some IArith.zero
   let one  = Some IArith.one
-  let top_bool = Some IArith.top_bool
 
   let to_bitfield ik z =
     match z with

src/cdomain/value/cdomains/int/intervalSetDomain.ml

@@ -236,7 +236,6 @@ struct
 
   let zero = [IArith.zero]
   let one = [IArith.one]
-  let top_bool = [IArith.top_bool]
 
   let not_bool = Option.map not