working on shared summary (MemNode and MemEdge and instn), partially commit