@Test
public void testGeneratedA() throws Exception {

    {//
        URIElement URIElement1 = new URIElement(true);
        URIElement URIElement0 = new URIElement();
        URIElement0.add(SKIP, URIElement1);
        assertTrue(new URIVerifier(URIElement0).verify(""));
    }
    {// A
        URIElement URIElement0 = new URIElement();
        URIElement URIElement2 = new URIElement(true);
        URIElement URIElement1 = new URIElement();
        URIElement0.add(65, URIElement1);
        URIElement1.add(SKIP, URIElement2);
        assertTrue(new URIVerifier(URIElement0).verify("A"));
    }
}