DEV: Add definition of OnlyOneChoiceInRegionVisitor