Flag added to indicate whether quantification is universal or
existential.
Method isStateFinal added
Functionality for one variable with existential quantification added
Parameter added in the constructor to indicate universal quantification
Conditions added to create new monitors
Method 'step' added without data values as parameters
Javadoc modified
Monitor for QEA with no quantified variables added