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