Recon Extension の大規模なリリースで、Halmos でも不変量を破ることができるようになりました。 同じコードでパワーアップ!