update provenance analysis for use case 1