Textmeddelande: Two for the Price of One: Lifting Separation Logic Assertions