Code for extracting subnetwork is verified