Examples of Separating Conjunction 1.x3,y asserts that x points to an adjacent 3 pair of cells containing 3 and y. y 2.y→3，x asserts that y points to an adjacent y pair of cells containing 3 and x. 3.x一3，y*y一3，x asserts that situations (1)and(2)hold for separate parts of the heap