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,