Putting more into the CMSat namespace