Loop Summarization Using Abstract Transformers