Optimized getSoundlySolvedJumps()

If we have no unsound jumps and no maybe unsound jumps, we don't need to re-run the analysis because we are already sound

Author: merendamattia

src/main/java/it/unipr/EVMLiSA.java

@@ -586,7 +586,7 @@ public static Set<Statement> getSoundlySolvedJumps(JumpSolver checker, LiSA lisa
 		if (JumpSolver.getLinkUnsoundJumpsToAllJumpdest()) {
 
 			// If we have no unsound jumps and no maybe unsound jumps, we don't
-			// need to re-run the analysis because we are sound
+			// need to re-run the analysis because we are already sound
 			if (checker.getUnsoundJumps().isEmpty() && checker.getMaybeUnsoundJumps().isEmpty())
 				return soundlySolved;