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