public void DontMatchDifferentAtoms() { MatchBody match = new MatchBody(new Atom("a"), new ConstantExpression(1)); var context = match.MakeContext(new Atom("b"), null); Assert.IsNull(context); }