string GetChildStr(NumBinExpr curr, NumExpr child)
{
var bin = child as NumBinExpr;
string result;
if (bin != null && _priorityByOp[curr.Kind] > _priorityByOp[bin.Kind])
{
result = $"({child.Apply(this)})";
}
else
{
result = child.Apply(this);
}
return(result);
}
public static string CollectTree(NumExpr expr)
{
var collector = new NumExprTreeCollector();
expr.Apply(collector);
return(collector.Complete());
}