Finished ProgramSummary for ordinary function call