Se puede cambiar el origen de una flecha menos en Menu, Input, Output y
Switch. Además un estado final no puede tener flecha de origen ni un
estado inicial más de 1. Tampoco se pueden llevar origen de flechas a
los estados Menu, Input, Output y Switch.