def get_frozen_productions(repo):
    prods = {}
    for (name, path) in list_frozen_productions(repo):
        prods[name] = Production(path)
    return prods
def get_frozen_productions(repo):
    prods = {}
    for (name, path) in list_frozen_productions(repo):
        prods[name] = Production(path)
    return prods