add node and edge for the model of test case generator