private void writeCelementSucc(PrintWriter out, Dfs dfs, MathNode node) {
        ArrayList<String> inWireNames = new ArrayList<>();
        Set<MathNode> rPostset = dfs.getRPostset(node);
        if (rPostset.isEmpty()) {
            String ref = dfs.getNodeReference(node);