Jz sparse

@jz10 
// ??? Is this a reaching definitions analysis? It seems like it doesn't do anything for uses. Is that correct?