/** Make a subtype edge between two nodes. */ public void makeSubtypeEdge(DyckNode node1, DyckNode node2) { cflEngine.makeSubtypeEdge(node1.nodeID, node2.nodeID); }