Correct power type constraint checkin, fixes #274
Another fix for power constraints.
CRLF fix on result files
Spellcheck: *ReaderWritter in testframework renamed to *ReaderWriter
Alter the testframework to use LF-only newlines when writing .result files
Spellcheck: encondeResult to encodeResult