added state assertion checks for Heap
check for methodSummary
add ReturnRef to referenceNodes