### Question:
ModelToVLogConverter { static karmaresearch.vlog.Atom toVLogAtom(final Literal literal) { final karmaresearch.vlog.Term[] vLogTerms = toVLogTermArray(literal.getArguments()); final String vLogPredicate = toVLogPredicate(literal.getPredicate()); final karmaresearch.vlog.Atom vLogAtom = new karmaresearch.vlog.Atom(vLogPredicate, literal.isNegated(), vLogTerms); return vLogAtom; } private  ModelToVLogConverter();  static final String PREDICATE_ARITY_SUFFIX_SEPARATOR; }### Answer:
@Test public void testToVLogAtom() { final Constant c = Expressions.makeAbstractConstant("c"); final Variable x = Expressions.makeUniversalVariable("x"); final NamedNull b = new NamedNullImpl("_:b"); final PositiveLiteral atom = Expressions.makePositiveLiteral("pred", c, x, b); final karmaresearch.vlog.Term expectedC = new karmaresearch.vlog.Term(karmaresearch.vlog.Term.TermType.CONSTANT, "c"); final karmaresearch.vlog.Term expectedX = new karmaresearch.vlog.Term(karmaresearch.vlog.Term.TermType.VARIABLE, "x"); final karmaresearch.vlog.Term expectedB = new karmaresearch.vlog.Term(karmaresearch.vlog.Term.TermType.BLANK, "_:b"); final String expectedPredicateName = "pred" + ModelToVLogConverter.PREDICATE_ARITY_SUFFIX_SEPARATOR + 3; final karmaresearch.vlog.Term[] expectedTerms = { expectedC, expectedX, expectedB }; final karmaresearch.vlog.Atom expectedAtom = new karmaresearch.vlog.Atom(expectedPredicateName, expectedTerms); final karmaresearch.vlog.Atom vLogAtom = ModelToVLogConverter.toVLogAtom(atom); assertEquals(expectedAtom, vLogAtom); }