final A_Tuple right,
final int newLevel,
final int newHashOrZero)
{
assert left.treeTupleLevel() == newLevel - 1;
<BUG>assert right.treeTupleLevel() == newLevel - 1;
final AvailObject newNode = createUninitializedTree(newLevel, 2);</BUG>
newNode.setSlot(SUBTUPLE_AT_, 1, left);
newNode.setSlot(SUBTUPLE_AT_, 2, right);
newNode.setIntSlot(CUMULATIVE_SIZES_AREA_, 1, left.tupleSize());

final A_Tuple right,
final int newLevel,
final int newHashOrZero)
{
assert left.treeTupleLevel() == newLevel - 1;
assert right.treeTupleLevel() == newLevel - 1;
assert left.tupleSize() > 0;
assert right.tupleSize() > 0;
final AvailObject newNode = createUninitializedTree(newLevel, 2);
newNode.setSlot(SUBTUPLE_AT_, 1, left);
newNode.setSlot(SUBTUPLE_AT_, 2, right);
newNode.setIntSlot(CUMULATIVE_SIZES_AREA_, 1, left.tupleSize());
