changed the warning text in GuessModuleOfGlobalSectionsFromATateMap

updated example file HorrocksMumford.g