determine reachability graph oncompile