Kleene star: skip over an extra ε-transition-only state if not matching.