Ignore saves
Translate Java semaphores to PROMELA