pseuco-promela-compiler