Added ProofSamples/AndN and both Samples/AndN and ProofSamples/AndN to
Makefile
improductive attempts