+ issue #48: fixed that each option should be available only once in the tree.