def get_net_for_facet(P: Tope, i: int, keys=[]) -> Net: F = P.get_facet(i, meta_keys=keys) G = get_facet_graph(F) T = G.get_spanning_tree() N = Net(F,