Revert "remove garbage logical variables from states"

This reverts commit 0bc2268ce8d4073eed4c7c1a679dd1b77a3af6dd.

Conflicts:
	src/prover/prover.ml
return nodes of confgraph are special