assertAlwaysOnEdge6.v