*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
*Creation of some monitors added
*Some QEA renamed
*QEA type fixed
*Some QEA renamed
*startConfigFinal is not evaluated for new bindings
*Some QEA renamed
*Some QEA renamed