let inject_zero_max size = match size with | Int_Base.Top -> top | Int_Base.Bottom -> assert false | Int_Base.Value int -> inject_one ~value:Int.zero ~size:int