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