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