Adding provenance collection