Cheatcodes library for your symbolic Kontrol tests - View it on GitHub