public override Term AggregateConstants()
{
Left = Left.AggregateConstants();
Right = Right.AggregateConstants();
if (Left is Constant && Right is Constant)
{
if ((Left as Constant).Value <= (Right as Constant).Value)
{
return(Term.True);
}
else
{
return(Term.False);
}
}
else
{
return(this);
}
}
