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