public boolean hasInitial(Collection<? extends Node> nodes) {
        boolean result = false;
        for (Node node : nodes) {
            if (isInitial(node)) {
                result = true;