Extracted `ShouldBeEmpty` messages to the messages file.