...
clean up specCoverage
parse spec xrefs
fix tests