move CMRA to its own file, in anticipation ofn a dependency to SPred that would otherwise have induced a cycle