method destroy : unit = ( destroy optionLabel; 
                    destroy types; 
                    destroy inits; 
                    destroy rules; 
                    destroy goals;)