Loading ImaraAutomata…

“A spec is a promise you can check.”