@Test
public void testVertexExists() {

    try {
        graph.vertexExists(-1);
        fail();
    } catch (PowsyblException e) {
        assertEquals("Invalid vertex -1", e.getMessage());
    }
    assertFalse(graph.vertexExists(0));
    graph.addVertex();
    assertTrue(graph.vertexExists(0));
}