Function publish_profile_claims_for_lib 

pub fn publish_profile_claims_for_lib(
    cx: &mut Cx,
    lib_id: LibId,
    profile: Symbol,
    organs: impl IntoIterator<Item = Symbol>,
    conformance_tests: impl IntoIterator<Item = Symbol>,
) -> Result<()>

Publishes profile claims and records newly inserted facts under lib_id.