Instantiate.Global_contextSourceval get_variable :
string ->
(unit -> Frama_c_kernel.Cil_types.varinfo) ->
Frama_c_kernel.Cil_types.varinfoget_variable name f searches for an existing variable name. If this variable does not exists, it is created using f.
The obtained varinfo does not need to be registered, nor f needs to perform the registration, it will be done by the transformation.