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