Add occurs chase for pointers in provenance table.