Using _xor_ from stdlib inside ProofSamples.BoolTrioComb for slides
patch PiWare.ProofSamples.BoolTrioComb.xor-proof-subfunc.patch