Jz sparse

@jz10 
// ??? This set seems to include all uses of this SgNode's def. Where is the check to verify that the data associated with this def has been updated by the transfer function?