Văn bản này: Two for the Price of One: Lifting Separation Logic Assertions