Correct implementation of load and store. ShadowObject and BlameSummary
should be passed around. Same thing should be applied to getelementptr
and call.