fixed typo in tag name in PiWare/ProofSamples/BoolTrioComb