Specifies pointer provenance: which pointer operations may nondeterministically alias, giving a model for optimizers (DR).