let intruder_knowledge = (ref [] : string list Pervasives.ref)