* lang_cmt/analyze/unit_analyze_cmt.ml: CEs