let msg_help_compute_values = "Activates Slicing Plug-in by running Value Analysis first."