include post-reduction gotos in Parser.Table.toString()