change PBFile.Formula and PBFile.SoftFormula to keep number of variables and number of constraints