Optimized Promela generation