public void testFailureIfThetaisNull() { Variable var = new Variable("x"); Sentence sentence = parser.parse("Knows(x)"); theta = null; Dictionary<Variable, Term> result = unifier.unify(var, sentence, theta); Assert.IsNull(result); }