Add assertion in process_file_option