These tests are from the `jkind` model checker:
https://github.com/agacek/jkind
