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