Frama-C API - Assigns
val get_assigns_from : loc:Frama_c_kernel.Cil_types.location -> Env.t -> Frama_c_kernel.Cil_types.logic_var list -> Frama_c_kernel.Cil_types.logic_var -> Frama_c_kernel.Cil_types.exp listval get_assigned_var : loc:Frama_c_kernel.Cil_types.location -> is_gmp:bool -> Frama_c_kernel.Cil_types.varinfo -> Frama_c_kernel.Cil_types.term