Non-deterministic choice of tree with all operators and considering possible set.