Separated atomic transitions in promela generated code