Added yet another specification analysis tool.