extend abstract interpretation description
extend abstract interpretation description
extend deductive verification description