for the case where conflict involves topo, go to depth of number of states in counterstrategy, and more if needed
fixed problem of counterstrategy not fulfiling env liveness
looks for guilty conjuncts whose cnf elements are subsumed by other conjuncts and removes them from the returned core
Merge remote-tracking branch 'vasu/cores' into slurp-dev

Conflicts:
	src/lib/cores/coreUtils.py