bestTree = pushDownTree; } else { if (costPushDown.isEqWithEpsilon(costTop)) {
bestTree = pushDownTree; } else { if (costPushDown.isEqWithEpsilon(costTop)) {
bestTree = pushDownTree; } else { if (costPushDown.isEqWithEpsilon(costTop)) {
bestTree = pushDownTree; } else { if (costPushDown.isEqWithEpsilon(costTop)) {