*Map of signatures per event replaced by 3 arrays:
   -One indicating if each event contains at least one signature with
only free variables
   -One with the count per event of different positions of the
quantified variable in the event signatures
   -One with the mask per event

*Step method changed to use the new structures and to process the new
bindings
*Change to use the appropriate DetConfig constructor
*Change of iterable from map entry set to map key set
*Change of iterable from map entry set to map key set
*Change of iterable from map entry set to map key set
*Methods getFirstQVarBinding and getUniqueQVarBindings added
*Methods containsSignatureOnlyFVars and getQVarValue removed
*Line added in startTransition: inctrans.start = start;
*Formatting