Fixed global channel declarations. Need to fix the promela model