mentor-web doesn't allow underscores in state names

[ySteinhart1]

Mentor allows states to be named with alphanumeric characters and underscores. Haven't had the chance to test it yet, but I think it can be fixed by changing line 63 of mentor.pegjs in mentor-parser from:
State "state" = $ [a-zA-Z0-9]+
to
State "state" = $ [a-zA-Z0-9_]+

[btk5h]

Rereading the documentation, it looks like Mentor should support underscores in state labels, but I haven't been able to get it to work locally. Mentor seems to give an invalid syntax error when I try it.

[ySteinhart1]

Hmm, I thought it was working with underscores last time I tried it, but now I'm getting some errors too.