@Test
public void GeneratedlrStar() throws Exception {

    {// (AB\.)*
        URIElement URIElement3 = new URIElement(true);
        URIElement URIElement0 = new URIElement();
        URIElement URIElement1 = new URIElement();
        URIElement URIElement7 = new URIElement();
        URIElement URIElement4 = new URIElement();
        URIElement URIElement5 = new URIElement();
        URIElement URIElement6 = new URIElement();
        URIElement URIElement8 = new URIElement();
        URIElement URIElement2 = new URIElement();
        URIElement0.add(SKIP, URIElement1);
        URIElement1.add('A', URIElement4);
        URIElement1.add(SKIP, URIElement2);
        URIElement7.add(SKIP, URIElement8);
        URIElement7.add(SKIP, URIElement2);
        URIElement4.add('B', URIElement5);
        URIElement5.add('.', URIElement6);
        URIElement6.add(SKIP, URIElement7);
        URIElement8.add(SKIP, URIElement1);
        URIElement2.add(SKIP, URIElement3);
        assertTrue(new URIVerifier(URIElement0).verify(""));
        assertTrue(new URIVerifier(URIElement0).verify("AB."));
        assertTrue(new URIVerifier(URIElement0).verify("AB.AB."));
        assertFalse(new URIVerifier(URIElement0).verify("ABAB."));
        assertFalse(new URIVerifier(URIElement0).verify("AB.AB"));
    }
}