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