Added multi-dimensional Promela arrays