assertAlwaysOnEdge4.v