first cut at heap graph  for field-based pointer analyais