prova
Controllo errore iinc
Controllare identityInst dentro BafMethod e evalSwap dentro SootFrameNumericalDomain
Modificato evalSwap dentro SootFrameNumericalDomain e riscontrate anomalie nel funzionamento di assignLocal
Partial modification on Baf methods.
Final version
Merge remote-tracking branch 'upstream/master'

Conflicts:
	core/src/main/scala/it/unich/sci/jandom/targets/jvmsoot/SootFrameNumericalDomain.scala
	core/src/main/scala/it/unich/sci/jandom/targets/jvmsoot/SootFrameObjectDomain.scala