Reduce number of local variables to handle bigger models.
Reduce number of local variables to handle bigger models.
mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas,mcc-petrinets/formulas