Frama-C API - Getters
val get_cvalue : (t -> Frama_c_kernel.Cvalue.Model.t) optionval get_cvalue_or_top : t -> Frama_c_kernel.Cvalue.Model.tval get_cvalue_or_bottom : t Frama_c_kernel.Lattice_bounds.or_bottom -> Frama_c_kernel.Cvalue.Model.t