The two-registers system is not quite arc-decomposable (Goldberg and Nivre, 2013): if the wrong vertex is stored in a register then a later pair of crossed arcs might both be individually reachable but not jointly reachable.
there may be a "crossing-sensitive" variant of arcdecomposability that takes into account the vertices crossed arcs are incident to that would apply here.