let msg_appl_compute_values =
  "Activating Slicing Plug-in by running Value Analysis first"