public void TestRun()
{
var x = new Var('x');
var goal = new EqGoal(x, 3);
object result = LogicSharp.Run(x, goal);
Assert.NotNull(result);
Assert.True(result.Equals(3));
}