ControlTreeMixin: Avoid allocating free variables for emtpy branches

Although allocating decision variables that are free is not wrong, it is wasteful and may sometimes even lead to solver warnings.

Closes #1084 (closed)