Jz sparse

@jz10 
  // ??? How does this heap var interact with memlocs implemented by other analyses that refine the heap?