Clean Resolution classes
Add MRR generalization candidate
Fix SPASSParser
Fix MRR