Updated the promela model so that the if statement have the else --> skip to fix the obligingness and resolution property
Merge branch 'master' of https://github.com/prasopes/02158-assignment
Update the car promela to split the numAlleyUp and numAlleyDown increment/decrement operation to its atomic operations.