Change how the counter example is built. Previously the counter example relied on...

Change how the counter example is built. Previously the counter example relied on specific nodes existing that wont be created when we bitblast via AIGs.

I needed to reimplement the code to print the sat model too. I didn't preserve the format. I suspect though no one is parsing it.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@902 e59a4935-1847-0410-ae03-e826735625c1