class OPTIMIZE_I feature is_yes: BOOLEAN is -- Is the option `yes' ? do -- Do nothing end; is_no: BOOLEAN is -- Is the option `no' ? do -- Do nothing end; is_all: BOOLEAN is -- Is the option `all' ? do -- Do nothing end; end