*NonSimpleQEA added. The implementation is very similar to SimpleQEA
*Setter for binding added
*Non simple monitors added, this is monitors for QEA with one quantified
variable and multiple free variables
*The implementation was based in the equivalent simple version for QEA
without free variables
*Initialisation to 0 of integer class variables removed
*Task to add quantification removed. It's already included as a
parameter of the constructor
*Method addTransition renamed to addTransitions
*Modification to call new method addTransition(int, int, int)
*Non simple QEA added (deterministic, non-deterministic and super-class)
*The implementation is based in the equivalent simple QEA
*Method getEventsAlphabet fixed, it was returning one event more
*Method addTransition(int, int, int) added
*Method getStates fixed. It was returning one state more
*Implementation of interface Transition added
*Signature added for methods getValue and setValue
*Interface Transition added