CCF/.model_checking_canary