Constant PROVENANCE_ENV 

pub const PROVENANCE_ENV: &str = "DIFFCTX_PROVENANCE_DUMP";