RED: test_correctness_of_verify_topology_07
GREEN: test_correctness_of_verify_topology_07
RED: test_correctness_of_verify_topology_08
GREEN: test_correctness_of_verify_topology_08