As you raise in Issue #152, it would be nice to have `forall(adj())` provide this local index. I have an experimental solution to this in a branch (commit a9c42d5) which does type specialization to support taking either a local index or the global vertex index, but it breaks backward compatibility, and is still very experimental so this solution is probably the best for now, until we come up with a better way to visit edges.