let reprs = Fixed 0 :: Interval (0,1) :: Unbounded 0 :: List.map (fun x -> Bounded (0,x)) Cil_datatype.Term.reprs