removed all occurrences of isTrans. should be ok to use [] to ffilter safeties, except for topo which is handled separately anyway.
function findCoresUnsat takes a list of conjuncts and a maxDepth and returns a subset of the conjuncts
Merge remote-tracking branch 'vasu/cores' into slurp-dev

Conflicts:
	src/lib/specCompiler.py