Corregido stateDiagramChecker: manejo de completitud de inputs cuando se incluyen *s.
(issue #125, trabajo junto a Caterina).