Fix "position" typo in CongruenceDomain

Co-authored-by: Michael Schwarz <[email protected]>

Author: sim642

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

@@ -143,7 +143,7 @@ struct
     match BitfieldDomain.Bitfield.to_int (z,o) with
     | Some x -> normalize ik (Some (x, Z.zero))
     | _ ->
-      (* get posiiton of first top bit *)
+      (* get position of first top bit *)
       let tl_zeros = Z.trailing_zeros (Z.logand z o) in
       let ik_bits = Size.bit ik in
       let m = if tl_zeros > ik_bits then Z.one else Z.pow Z.one tl_zeros in