Function read_translation_provenance 

pub fn read_translation_provenance(
    code: &str,
    target_language: &str,
) -> Result<ReadTranslationProvenance, ProgramTranslationError>

Reads the provenance comment a semantic translation starts with.