joined patched of PiWare.ProofSamples.BoolTrioComb
Formatted code and patch in Makefile for AndN