sig val add : Cil_types.varinfo -> Cil_types.varinfo -> unit val find : Cil_types.varinfo -> Cil_types.varinfo val mem : Cil_types.varinfo -> bool end