and 𝜀 4 can be spared. The significance in the reduction is increasing with the number of layers and the number of overall considered input variables. Furthermore, the full construction of the tree allowed to replace big-M constraints at the leaf-nodes by equality constraints due to linearity in the binary variables. Another main difference is the asymmetric supply of continuous variables as constants. This design further reduces the number of required binaries as well as the symmetries in the superstructure set-up. In case of a four-layer tree this would reduce their number by four.