let
descr =
"propagate the slicing to the function callers"