try {
            const nextState = getCompleteExtensionTree(
                type,
                roc,
                extensionPath,