use bound on cnf clause number to weed out low depths
Merge remote-tracking branch 'vasu/cores' into slurp-dev

Conflicts:
	src/lib/specCompiler.py
fix a silly bug that caused propositions like 's.s.camera'