disjoint should work like pointer in that taints for DOJ have whereDefined initialize...

disjoint should work like pointer in that taints for DOJ have whereDefined initialized to null because taints can propagate across a backedge to the stallsite, for example, which can become the non-null whereDefined element of a new taint