changed the warning text in GuessModuleOfGlobalSectionsFromATateMap

+ updated example file HorrocksMumford.g accordingly