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