public void TestGetLastLiteral()
{
var reason1 = new RuleGeneric(Array.Empty <int>(), Reason.Undefined, null);
var reason2 = new RuleGeneric(Array.Empty <int>(), Reason.Undefined, null);
decisions.Decide(1, 1, reason1);
decisions.Decide(-2, 2, reason2);
Assert.AreEqual(-2, decisions.GetLastLiteral());
}