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