Vistors now don't create new visitors to analyze multiple branches, but
new analzers that control execution.