method destroy : unit = ( destroy optionLabel; destroy verificationLabel;
List.iter (fun t -> destroy t) rads;
destroy agent; destroy knowledgeLabel;
destroy frame2; destroy levelLabel;
destroy levelEntry;)