[Provenance] Tracing inverse actions (wip)