Function extract_from_program 

pub fn extract_from_program(program: &Program) -> Result<Provenance>