(Promela) Made state variables and fsm state visible from external scripts.