public void MatchAtoms()
{
MatchBody match = new MatchBody(new Atom("a"), new ConstantExpression(1));
var context = match.MakeContext(new Atom("a"), null);
Assert.IsNotNull(context);
var result = match.Evaluate(context);
Assert.IsNotNull(result);
Assert.AreEqual(1, result);
}