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