sig
  val self : State.t
  val find_in_scope :
    string -> Cil_types.syntactic_scope -> Cil_types.varinfo option
end