refactoring/renaming in specCompiler and coreUtils
update mopsy call to newly-named unsatCores