Rename variables
Finish translation to PROMELA
Translate Java files to PROMELA files