Simple non deterministic QEA added
*Method 'getLambda' modified to return a negative integer when the
quantification is existential
*Javadoc modified
*Unused import removed
*Comments removed
*Implementation of method 'trace' added
*Implementation of methods 'step(int eventName)' and 'end' added
*Abstract method 'trace' added
*Javadoc added