experimental/Summaries/ExtractSinkSummaries.ql