for (MathNode predNode: preset) {
            String predRef = dfs.getNodeReference(predNode);
            String inWireName = PREFIX_WIRE + predRef + SEPARATOR + ref;
            String inContactName = NAME_IN + inIndex++;
            writeContact(out, inContactName, inWireName, isFirstContact);