let display_intruder_knowledge (() : unit) : unit =
Listbox.delete intruder_knowledge_lst ~first:(`Num 0) ~last:`End;
let knowledge = let tmp = decompose(get_value_of_var "x" "set_knowledge") in
if(tmp<>[]) then (cdr tmp)
else []
in
Listbox.insert intruder_knowledge_lst ~index:`End ~texts:(List.map transcript_sender knowledge)