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