def node_list_to_node_name_list(node_list):
    """Converts a node list into a list of the corresponding node names."""
    node_name_list = []
    for node in node_list:
        node_name_list.append(node.name)
    return node_name_list
