abstract interpretation Quotes