further abstract interpretation