lots of changes to sar and watchout with the modification cvParams in the mzid generation