only unroll trans as needed for different sat instances
still need to send back init clauses, not just trans
do not want to extend init and trans each time
Merge remote-tracking branch 'vasu/cores' into slurp-dev

Conflicts:
	src/lib/specCompiler.py