Snippets for cbmc 6.11.0 from Nix x86_64-linux

Sourced from https://hydra.nixos.org/log/nqa29gny6xkqkpiz52fw9ca4h9y6pk90-cbmc-6.11.0.drv.