### Question:
Skolemization { public AbstractConstant getSkolemConstant(String name, TermFactory termFactory) { return termFactory.makeAbstractConstant(getSkolemConstantName(name)); }  RenamedNamedNull getRenamedNamedNull(String name); AbstractConstant getSkolemConstant(String name, TermFactory termFactory); AbstractConstant getSkolemConstant(NamedNull namedNull, TermFactory termFactory); String getSkolemConstantName(String name); String getSkolemConstantName(NamedNull namedNull); UUID getFreshName(String name); final static String SKOLEM_IRI_PREFIX; }### Answer:
@Test public void skolemConstant_succeeds() { TermFactory termFactory = new TermFactory(); AbstractConstant skolem = skolemization.getSkolemConstant(name1, termFactory); assertTrue(skolem.getName().startsWith(Skolemization.SKOLEM_IRI_PREFIX)); }
@Test public void skolemConstantFromNamedNull_succeeds() { TermFactory termFactory = new TermFactory(); NamedNull null1 = new NamedNullImpl(name1); AbstractConstant skolem1 = skolemization.getSkolemConstant(null1, termFactory); AbstractConstant skolem2 = skolemization.getSkolemConstant(name1, termFactory); assertEquals(skolem2, skolem1); }