logging (print)
added test
add objectNode of ReturnRef to the result Heap (in applyMethodSummary)