Symbol: CMD_HAS_OPTIONS