coresolvertest compiles
Segments: == operator
ConflictSets: size()
coresolvertest: more progress. Doesn't compile yet.