Remove obsolete comments in compartmentalization.
Remove small admit in CFI refinement.