ReturnValue moved from Frame to MethodSummary; ReturnInstruction creates
set of method summaries rather than frames.