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