Macro graph_reachability

graph_reachability!() { /* proc-macro */ }