We navigate through the space of possible navigation types, to find the ``program:statements'' way of navigating. (You can set Versor up to limit the possible types of navigation for each major mode, to just the ones likely to be useful in it.) That was C-x Down (or M-Down) that took us from having "structural" and "exprs" selected, to "text" and "words". C-x Down once more...