Enabling possibility to reuse summaries in callees by setting source
statement to null and restoring original source statement when returning
context sensitively.