prozess
rainbow
index
reachability graph
start of rg