Synopsis Reachability from a given start set of nodes.
Function
set[&T] reach(LGraph[&T,&L] G, set[&T] Start)
Usage
import analysis::graphs::LabeledGraph;