Function rule_provenance 

pub fn rule_provenance(
    program: &Program,
    generated_program: Option<&Program>,
) -> Vec<RuleProvenance>

Build provenance for source rules and optional generated rewrite rules.