RED: test_correctness_of_verify_topology_04
GREEN: test_correctness_of_verify_topology_04
RED: test_correctness_of_verify_topology_05
GREEN: test_correctness_of_verify_topology_05
RED: test_correctness_of_verify_topology_06
GREEN: test_correctness_of_verify_topology_06