Making NameAutomata ready to handle multiple values