Enhanced logging for protected functions by including contract name in log message

Author: merendamattia

src/main/java/it/unipr/crosschain/functions/ProtectedFunctionFinder.java

@@ -107,7 +107,8 @@ private void checkForProtection(Statement sink, EVMCFG cfg, Set<Integer> jumpiPp
 //							((ProgramCounterLocation) sink.getLocation()).getSourceCodeLine());
 
 					functionSignature.setProtected(true);
-					log.info("Function {} is protected", functionSignature.getFullSignature());
+					log.info("Function {} in {} is protected", functionSignature.getFullSignature(),
+							contract.getName());
 				}
 			}
 		}