Finished generating promela code. Need to test false setting in promela