*UnoptSimplestSmallStepQEAMonitor renamed to SimplestSmallStepQEAMonitor
*SimplestSmallStepQEAMonitor changed to keep track of the number of
bindings in non-final states, to make faster the computation of the
Verdict when processing an event