You mention that the compiler should track the aliasing informations, as to enrich this C imitation language, but this seems exactly what the article means with

You mention that the compiler should track the aliasing informations, as to enrich this C imitation language, but this seems exactly what the article means with "provenance".