PC consistently used for control flow, i.e. analyzer now controls the
flow, rather than visitor.