Add `contains` patterns on `Heap.lemma_sel_same_addr`
Add `contains` patterns on `Heap.lemma_sel_same_addr`

FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar