*Guards and assignment added to transitions when creating a QVar01_FVar_Det_QEA *Method singleQvarFirst renamed to fixedQVar. Modified to match the FixedQVar optimisation: there is a single quantified variable appearing only in the first position of the events with parameters *Some QEA renamed
*Guards and assignment added to transitions when creating a
QVar01_FVar_Det_QEA
*Method singleQvarFirst renamed to fixedQVar. Modified to match the
FixedQVar optimisation: there is a single quantified variable appearing
only in the first position of the events with parameters
*Some QEA renamed
selig/qea