Process variable declarations by saving them as local or global variables.

Computes the local variables of a function or method to be added to the procdesc

`val sil_var_of_decl : InferModules.CContext.t ‑> InferGenerated.Clang_ast_t.decl ‑> InferIR.Typ.Procname.t ‑> InferIR.Pvar.t`
`val sil_var_of_decl_ref : InferModules.CContext.t ‑> InferGenerated.Clang_ast_t.source_range ‑> InferGenerated.Clang_ast_t.decl_ref ‑> InferIR.Typ.Procname.t ‑> InferIR.Pvar.t`
`val add_var_to_locals : InferIR.Procdesc.t ‑> InferGenerated.Clang_ast_t.decl ‑> InferIR.Typ.t ‑> InferIR.Pvar.t ‑> unit`
`val sil_var_of_captured_var : InferGenerated.Clang_ast_t.decl_ref ‑> InferModules.CContext.t ‑> InferGenerated.Clang_ast_t.source_range ‑> InferIR.Typ.Procname.t ‑> InferIR.Pvar.t * InferIR.Typ.typ`
`val captured_vars_from_block_info : InferModules.CContext.t ‑> InferGenerated.Clang_ast_t.source_range ‑> InferGenerated.Clang_ast_t.block_captured_variable list ‑> (InferIR.Pvar.t * InferIR.Typ.t) list`