for (MathNode succNode: postset) {
            String succRef = dfs.getNodeReference(succNode);
            String outWireName = PREFIX_WIRE + ref + SEPARATOR + succRef;
            String outContactName = NAME_OUT + outIndex++;
            writeContact(out, outContactName, outWireName, isFirstContact);