Added sample Coverity model file.