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