Controllare identityInst dentro BafMethod e evalSwap dentro SootFrameNumericalDomain