Extra 'step' method invokation removed
*Empty method 'wellFormed' added
Setter methods added
Modification in method step(int eventName, Object[] args): The value of
the quantified variable is taken from the first position of the array of
arguments
Method getNextStates renamed to getNextConfig
Method setEmpty added
Method getNextConfig modified:
*Existence of guards and assignments is checked before using them
*Binding for failing states is set empty or returned to the previous
values when going to the failing state
*When updating binding of free variables, names of the variables are not
checked anymore. Instead, all arguments starting from the second
position are assumed to be free variables
Method getLambda modified: Quantified is negative
Method getNextStates renamed to getNextConfig
Signature of method setEmpty added
Documentation of method getLambda updated: Quantified is negative