*Quantifications NOT_FORALL, NOT_EXISTS deleted
*Attribute 'negatedQuantification' deleted in Abstr_QVar01_FVar_QEA and
Abstr_QVar01_NoFVar_QEA. Now is replaced by attribute 'negated' in the
superclass QEA
*All methods computeVerdict now take into account the attribute
'negated'