This code demonstrates the branching algorithm for ICNNs.
Currently, the example only includes an ICNN with a single input variable.
The algorithm uses a greedy approach for choosing branches but this only works for ICNNs which are increasing the input domain.