assert preconditions that are ensured when created in add_final_edges

assert preconditions, which are ensured by add_node_to_connection_graph, in add_final_edges, then we can skip checking these preconditions in runtime(assertions instead)