let window_compose_intruder_knowledge = (Button.create ~text:"Compose knowledge" ~borderwidth:1 ~height:1 ~relief:`Raised intruderFrameForButton
~command:(fun () -> window_compose_intruder_knowledge root trace_story incomming_events (insert_lst : string -> string -> unit) (display_intruder_knowledge : unit -> unit)) : Widget.button Widget.widget)