(Promela) Automatic state configuration from the python script