View Labels for MAT Learning of Universal Automata