Why doesn’t yyrestart() set the start state back to INITIAL?

There are two reasons. The first is that there might be programs that rely on the start state not changing across file changes. The second is that beginning with flex version 2.4, use of yyrestart() is no longer required, so fixing the problem there doesn’t solve the more general problem.