TestBehaviorReader::GetFileFormatVersion