(Promela) Fixed hat caused the other null pointer exception.