Halmos a livrat teste invariante, a trebuit să livrăm o modalitate de a converti automat contraexemplele Halmos în depozite de turnătorie. Acest lucru funcționează atât pentru testele stateless, cât și pentru cele stateful (cu aromă de Chimera). Dacă utilizați aplicația Create Chimera sau extensia Recon, acest lucru funcționează din cutie!