Two for the Price of One: Lifting Separation Logic Assertions (Logical Methods in Computer Science, 2012)