Modificato evalSwap dentro SootFrameNumericalDomain e riscontrate anomalie nel funzionamento di assignLocal