assertAlwaysOnEdge3.v