Halmos toimitti invariantteja testejä, meidän piti toimittaa tapa muuntaa Halmos-vastaesimerkit automaattisesti valimovarastoiksi. Tämä toimii sekä tilattomissa että tilallisissa testeissä (Chimera-makuinen). Jos käytät Create Chimera -sovellusta tai Recon Extension -laajennusta, tämä toimii heti!