שליחה במסרון: Two for the Price of One: Lifting Separation Logic Assertions