Fixed problem in promela code gen