need to make transNew a new list containing elements of trans, corrects error in precomputed p
specCompiler stores trans after conversion to cnf so it can be reused
pre-computing n
indentation was causing analysis not to be called on unrealizable specs
attempt to send line by line input to picomus -- not getting output back
fixes the rank changing problem, but leaves the unsat deadlock problem
piping input line by line to picomus to avoid devouring memory
Merge remote-tracking branch 'vasu/cores' into slurp-dev

Conflicts:
	src/specEditor.py