module Syntactic_search:sig..end
val self : State.t
val find_in_scope : string -> Cil_types.syntactic_scope -> Cil_types.varinfo optionfind_in_scope orig_name scope finds a variable from its orig_name,
according to the syntactic scope in which it should be searched.
Some vi otherwise, with vi the varinfo associated to
orig_name in scope according to C lookup rules.