https://github.com/tlaplus/tlapm/issues/15 makes it necessary to update [TLAPS.tla](https://github.com/lemmy/BlockingQueue/blob/master/TLAPS.tla) in this repository to the newest version in TLAPM.