Change SPASS

Changed rep to repsep
Change UnifyingResolution

Workaround for resolutions being parsed as axioms
Change SPASS parser

Removed 'lineNumber' from parser; using only number now.
Change UnifyingResolutionMRR

Added workaround from UnifyingResolution