module Cvalue_init:sig..end
Creation of the initial state for Value
val initialize_var_using_type : Cil_types.varinfo -> Cvalue.Model.t -> Cvalue.Model.tinitialize_var_using_type varinfo state uses the type of varinfo
to create an initial value in state.