FSM visualisation script: renamed the file