method destroy : unit = ( destroy optionLabel; destroy simplify; 
                    destroy untyped; destroy verbose; 
                    destroy search; destroy lst; )