Given that currently ABT has a relatively small stack limit, we will need to make sure all expressions that can take variable number of arguments generate a logarithmic scale tree so that it doesn't cause stack overflow.