[core]  added label to Step in grammar and Dot Generator, fixed formatter for States, built new nightly