method destroy : unit = ( destroy optionLabel; destroy frame2;
destroy solverLabel; destroy lst;
destroy frame3; destroy depthLabel;
destroy depthEntry; destroy abstraction;
destroy compound; destroy optimized;)