Debug information for method invocations added.
First steps towards applyMethodSummary() for non-alien summaries added.