public void ArityTest() { PrologCodePredicate prologCodePredicate = new PrologCodePredicate(); int result = prologCodePredicate.Arity; Assert.AreEqual(0, result); }