Bugfix for pruning of synthesis of an empty list of subtrees.