Add some tests for forall vertices.