public static Set<String> getOutputPortNames(Circuit circuit) {
        Set<String> result = new HashSet<>();
        for (Contact port : circuit.getOutputPorts()) {
            result.add(circuit.getName(port));
        }