Tools for visualisation of state graphs by write_sg and draw_astg are (temporary) restored. Commands for generation of basic and binary-encoded state graphs can be found under Tools→External visualiser
menu. Note that a better alternative is to convert an STG
to an FSM
via Conversion→Finite State Transducer [Petrify]
as it allows better visualisation of CSC conflicts now (in different colors).