GUITAR Gui file and to check if a given (generated) replayID is contained in this GUI file.
to check if IDs that are generated "on the way" are valid)