let
help =
"compute an overapproximation of the functions reachable from f1,..,fn."