Update CoverityModel.cpp