public void addSubgraphForNode(CGNode node) {
   int n = cg.getNumber(node);
   if (!cgNodesVisited.contains(n)) {
     cgNodesVisited.add(n);
     unconditionallyAddConstraintsFromNode(node);
     addNodesForParameters(node);
   }
 }