Реализовать функцию для вычисления дерева решений

s = ({'LLVM', 1960, 'GDB'},
     {'LLVM', 1960, 'OX'},
     {'LLVM', 1960, 'STATA'},
     {'LLVM', 1990},
     {'LLVM', 2020},
     {'COQ', 'GDB'},
     {'COQ', 'OX'},
     {'COQ', 'STATA', 1960},
     {'COQ', 'STATA', 1990},
     {'COQ', 'STATA', 2020},
     {'LEAN'})
 
 
def main(*r):
    s1 = set(r)
    return [i for i in range(len(s))
             if not(len(s[i] - s1))][0]
print(main(['GDB', 'COQ', 2020, 'NGINX']))

tree = \
{
    'LLVM': 
    {
        1960: 
        {
            'GBD': 0,
            'OX': 1,
            'STATA': 2
        },
        1990: 3,
        2020: 4
    },
    'COQ': 
    {
        'GDB': 5,
        'OX': 6,
        'STATA': 
        {
            1960: 7,
            1990: 8,
            2020: 9
        }
    },
    'LEAN': 10
}
 
def main(m: set, scope=tree):
    match scope:
        case dict(branch):
            keys = branch.keys() & m
            assert(len(keys) == 1)
            return main(m, branch[next(iter(keys))])
        case terminal_value:
            return terminal_value
 
assert(main(['OX', 'LLVM', 1990, 'INI']) == 3)
assert(main(['GDB', 'COQ', 2020, 'NGINX']) == 5)
assert(main(['OX', 'COQ', 1960, 'NGINX']) == 6)
assert(main(['OX', 'LLVM', 2020, 'INI']) == 4)
assert(main(['GDB', 'LEAN', 2020, 'NGINX']) == 10)