Efficient Provenance Alignment in Reproduced Executions