Fixed some tests. Implemented strong states for Incr_QVar1_NoFVAR_*.
Fixed some errors in QEABuilder.
Added strong states to computeVerdict in Abstr_Incr_QVar1_FVar