added check for return null in detectAReturnBug
fixed some comments, bug in stackInstruction and HeapObject.refers()