overlapping test modified for lounge/hallC problem
remove goal clauses found in no topo test from final guilty clauses
Merge remote-tracking branch 'vasu/cores' into slurp-dev

Conflicts:
	src/lib/specCompiler.py