211     std::string* replay_transformations_file,  in ParseFlags()  argument
256         *replay_transformations_file = std::string(split_flag.second);  in ParseFlags()
371     if (!replay_transformations_file->empty() ||  in ParseFlags()
382   if (replay_transformations_file->empty() &&  in ParseFlags()
407   if (!replay_transformations_file->empty() ||  in ParseFlags()
419   if (!replay_transformations_file->empty()) {  in ParseFlags()
472             const std::string& replay_transformations_file,  in Replay()  argument
477   if (!ParseTransformations(replay_transformations_file,  in Replay()
699   std::string replay_transformations_file;  in main()  local
711                  &replay_transformations_file, &interestingness_test,  in main()
767                   initial_facts, replay_transformations_file, &binary_out,  in main()