No need to debug the transformer -- never used
Removing useless ';'
A REALLY nice catch by Matthew Dempsky

It was not overriding as it should have been
Wrong define for MinisatCore_prop.h

Thanks to Matthew Dempsky for catching this!
Fixing naming of struct

Thanks to Matthew Dempsky for catching this one.
Fixing assert to make it look more readable

Thanks to Matthew Dempsky for this one!
Removing unused variable

Thanks to Matthew Dempsky for this one
Fixing no newline at end of file
Removing unused variable

Thanks to Matthew Dempsky for this one