@smile-digital-health/crl 4.108.0 → 4.112.0

package/dist/ast/branchCondition.d.ts

@@ -1,5 +1,4 @@
 import type { BranchCondition, BranchConditionAnd, BranchConditionOr, BranchConditionRef, BranchConditionCriterionRef, BranchConditionNot, BranchConditionLiteral, ReferenceName } from "./types";
-import { type CriterionTable, type ExpandedSize, type ExpansionReason } from "./criterionExpansion";
 export declare function visitBranchCondition<T>(c: BranchCondition, v: {
     ref: (node: BranchConditionRef) => T;
     and: (node: BranchConditionAnd, operands: T[]) => T;
@@ -9,20 +8,10 @@ export declare function visitBranchCondition<T>(c: BranchCondition, v: {
 }): T;
 export declare function branchConditionRefs(c: BranchCondition): BranchConditionRef[];
 export declare function branchConditionConceptRefsStrict(c: BranchCondition, where: string): BranchConditionRef[];
-export declare function branchConditionConceptRefsFollowingCriteria(c: BranchCondition, table: CriterionTable): BranchConditionRef[];
-export declare function branchConditionConceptRefsExpanded(c: BranchCondition, table: CriterionTable, where: string): {
-    refs: BranchConditionRef[];
-    overflow?: {
-        status: ExpansionReason;
-        detail?: ExpandedSize["detail"];
-    };
-};
 export declare function containsNot(c: BranchCondition): boolean;
 export declare function toNNF(c: BranchCondition): BranchCondition;
 export declare function branchConditionDNF(c: BranchCondition): BranchConditionLiteral[][];
 export declare function branchConditionArmCount(c: BranchCondition, cap?: number): number;
 export declare function assertWellFormedBranchCondition(c: BranchCondition): void;
 export declare function soleRef(c: BranchCondition): BranchConditionRef | null;
-export declare function describeBranchCondition(c: BranchCondition, display: (r: ReferenceName) => string, opts?: {
-    markerAware?: boolean;
-}): string;
+export declare function describeBranchCondition(c: BranchCondition, display: (r: ReferenceName) => string): string;

package/dist/ast/branchCondition.js

@@ -3,8 +3,6 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.visitBranchCondition = visitBranchCondition;
 exports.branchConditionRefs = branchConditionRefs;
 exports.branchConditionConceptRefsStrict = branchConditionConceptRefsStrict;
-exports.branchConditionConceptRefsFollowingCriteria = branchConditionConceptRefsFollowingCriteria;
-exports.branchConditionConceptRefsExpanded = branchConditionConceptRefsExpanded;
 exports.containsNot = containsNot;
 exports.toNNF = toNNF;
 exports.branchConditionDNF = branchConditionDNF;
@@ -12,10 +10,8 @@ exports.branchConditionArmCount = branchConditionArmCount;
 exports.assertWellFormedBranchCondition = assertWellFormedBranchCondition;
 exports.soleRef = soleRef;
 exports.describeBranchCondition = describeBranchCondition;
-const types_1 = require("./types");
-const criterionExpansion_1 = require("./criterionExpansion");
 function unexpandedCriterion(node, where) {
-    throw new Error(`internal: un-expanded criterion reference "${String(node.ref)}" reached ${where} — criterion expansion must run before this seam`);
+    throw new Error(`internal: criterion reference "${String(node.ref)}" reached ${where}, a CONCEPT-ONLY seam — a criterion is not a concept ref (post-#236 it lowers to a referenced boolean define); a concept-only collector must route criteria explicitly`);
 }
 function visitBranchCondition(c, v) {
     switch (c.type) {
@@ -65,44 +61,6 @@ function branchConditionConceptRefsStrict(c, where) {
     walk(c);
     return out;
 }
-function branchConditionConceptRefsFollowingCriteria(c, table) {
-    if ((0, criterionExpansion_1.containsCriterionRef)(c) && (0, criterionExpansion_1.expandedSize)(c, table).status !== "ok") {
-        return branchConditionRefs(c);
-    }
-    const out = [];
-    const active = new Set();
-    const walk = (n) => {
-        if (n.type === "BranchConditionRef") {
-            out.push(n);
-            return;
-        }
-        if (n.type === "BranchConditionCriterionRef") {
-            const name = (0, types_1.getRefName)(n.ref);
-            const crit = table.get(name);
-            if (!crit || active.has(name))
-                return;
-            active.add(name);
-            walk(crit.condition);
-            active.delete(name);
-            return;
-        }
-        if (n.type === "BranchConditionNot") {
-            if (n.operand)
-                walk(n.operand);
-            return;
-        }
-        if (Array.isArray(n.operands))
-            n.operands.forEach(walk);
-    };
-    walk(c);
-    return out;
-}
-function branchConditionConceptRefsExpanded(c, table, where) {
-    const g = (0, criterionExpansion_1.expandGuardOrRecord)(c, table);
-    if (!g.ok)
-        return { refs: [], overflow: { status: g.status, detail: g.detail } };
-    return { refs: branchConditionConceptRefsStrict(g.cond, where) };
-}
 function containsNot(c) {
     switch (c.type) {
         case "BranchConditionNot":
@@ -116,23 +74,28 @@ function containsNot(c) {
     }
 }
 function toNNF(c) {
-    if (!containsNot(c) && !(0, criterionExpansion_1.containsCriterionRef)(c))
+    if (!containsNot(c))
         return c;
     const nnf = (n, negated) => {
-        const withMarker = (out) => n.sourcedFromCriterion ? { ...out, sourcedFromCriterion: n.sourcedFromCriterion } : out;
         switch (n.type) {
             case "BranchConditionCriterionRef":
-                return unexpandedCriterion(n, "toNNF");
+                if (!negated)
+                    return n;
+                return {
+                    type: "BranchConditionNot",
+                    operand: { type: "BranchConditionCriterionRef", ref: n.ref, location: n.location },
+                    location: n.location,
+                };
             case "BranchConditionRef":
                 if (!negated)
-                    return withMarker(n);
-                return withMarker({
+                    return n;
+                return {
                     type: "BranchConditionNot",
                     operand: { type: "BranchConditionRef", ref: n.ref, location: n.location },
                     location: n.location,
-                });
+                };
             case "BranchConditionNot":
-                return withMarker(nnf(n.operand, !negated));
+                return nnf(n.operand, !negated);
             case "BranchConditionAnd":
             case "BranchConditionOr": {
                 const flipTo = negated && n.type === "BranchConditionAnd"
@@ -140,11 +103,11 @@ function toNNF(c) {
                     : negated && n.type === "BranchConditionOr"
                         ? "BranchConditionAnd"
                         : n.type;
-                return withMarker({
+                return {
                     type: flipTo,
                     operands: n.operands.map((o) => nnf(o, negated)),
                     location: n.location,
-                });
+                };
             }
         }
     };
@@ -156,13 +119,14 @@ function branchConditionDNF(c) {
             case "BranchConditionRef":
                 return [[n]];
             case "BranchConditionNot": {
-                if (n.operand.type !== "BranchConditionRef") {
-                    throw new Error(`internal: branchConditionDNF saw a non-normalized negation over ${n.operand.type} — toNNF must run first`);
-                }
-                return [[n]];
+                if (n.operand.type === "BranchConditionRef")
+                    return [[n]];
+                if (n.operand.type === "BranchConditionCriterionRef")
+                    return [[n]];
+                throw new Error(`internal: branchConditionDNF saw a non-normalized negation over ${n.operand.type} — toNNF must run first`);
             }
             case "BranchConditionCriterionRef":
-                return unexpandedCriterion(n, "branchConditionDNF");
+                return [[n]];
             case "BranchConditionOr":
                 return n.operands.flatMap((o) => dnf(o));
             case "BranchConditionAnd": {
@@ -189,7 +153,7 @@ function branchConditionArmCount(c, cap = 16) {
         if (n.type === "BranchConditionNot")
             return 1;
         if (n.type === "BranchConditionCriterionRef")
-            return unexpandedCriterion(n, "branchConditionArmCount");
+            return 1;
         if (n.type === "BranchConditionOr") {
             let sum = 0;
             for (const o of n.operands) {
@@ -227,17 +191,12 @@ function assertWellFormedBranchCondition(c) {
 function soleRef(c) {
     return c.type === "BranchConditionRef" ? c : null;
 }
-function describeBranchCondition(c, display, opts = {}) {
-    const markerAware = opts.markerAware ?? false;
-    const isNameLeaf = (n) => markerAware && n.sourcedFromCriterion !== undefined;
+function describeBranchCondition(c, display) {
     const go = (n, parentOp) => {
-        if (isNameLeaf(n))
-            return display(n.sourcedFromCriterion.name);
         if (n.type === "BranchConditionRef" || n.type === "BranchConditionCriterionRef")
             return display(n.ref);
         if (n.type === "BranchConditionNot") {
-            const compound = !isNameLeaf(n.operand) &&
-                (n.operand.type === "BranchConditionAnd" || n.operand.type === "BranchConditionOr");
+            const compound = n.operand.type === "BranchConditionAnd" || n.operand.type === "BranchConditionOr";
             const inner = go(n.operand, null);
             return `not ${compound ? `(${inner})` : inner}`;
         }

package/dist/ast/branchCondition.js.map

@@ -1 +1 @@
-{"version":3,"file":"branchCondition.js","sourceRoot":"","sources":["../../src/ast/branchCondition.ts"],"names":[],"mappings":";;AA6CA,oDAgCC;AAeD,kDAqBC;AASD,4EAiBC;AAsBD,kGAoCC;AAeD,gFAQC;AAID,kCAWC;AA2BD,sBAkDC;AAwBD,gDAkCC;AAiBD,0DAuBC;AAOD,0EAgBC;AAOD,0BAEC;AAkBD,0DA8BC;AAvdD,mCAAqC;AACrC,6DAO8B;AAO9B,SAAS,mBAAmB,CAAC,IAAiC,EAAE,KAAa;IAC3E,MAAM,IAAI,KAAK,CACb,8CAA8C,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,KAAK,kDAAkD,CACnI,CAAC;AACJ,CAAC;AAOD,SAAgB,oBAAoB,CAClC,CAAkB,EAClB,CAUC;IAED,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,oBAAoB;YACvB,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,KAAK,6BAA6B;YAChC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3B,KAAK,oBAAoB;YACvB,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,KAAK,oBAAoB;YACvB,OAAO,CAAC,CAAC,GAAG,CACV,CAAC,EACD,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAClD,CAAC;QACJ,KAAK,mBAAmB;YACtB,OAAO,CAAC,CAAC,EAAE,CACT,CAAC,EACD,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAClD,CAAC;IACN,CAAC;AACH,CAAC;AAeD,SAAgB,mBAAmB,CAAC,CAAkB;IACpD,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAkB,EAAQ,EAAE;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,6BAA6B;YAAE,OAAO;aAKrD,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACzC,IAAI,CAAC,CAAC,OAAO;gBAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC;aAKI,IAAI,KAAK,CAAC,OAAO,CAAE,CAA4C,CAAC,QAAQ,CAAC;YAC3E,CAA4C,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,IAAI,CAAC,CAAC,CAAC,CAAC;IACR,OAAO,GAAG,CAAC;AACb,CAAC;AASD,SAAgB,gCAAgC,CAC9C,CAAkB,EAClB,KAAa;IAEb,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAkB,EAAQ,EAAE;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,6BAA6B;YAAE,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;aAG5E,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACzC,IAAI,CAAC,CAAC,OAAO;gBAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAE,CAA4C,CAAC,QAAQ,CAAC;YAC7E,CAA4C,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,IAAI,CAAC,CAAC,CAAC,CAAC;IACR,OAAO,GAAG,CAAC;AACb,CAAC;AAsBD,SAAgB,2CAA2C,CACzD,CAAkB,EAClB,KAAqB;IAIrB,IAAI,IAAA,yCAAoB,EAAC,CAAC,CAAC,IAAI,IAAA,iCAAY,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACtE,OAAO,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,CAAkB,EAAQ,EAAE;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACpC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACZ,OAAO;QACT,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,6BAA6B,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,IAAA,kBAAU,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO;YACtC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjB,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACrB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACpB,OAAO;QACT,CAAC;QAGD,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC,OAAO;gBAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC/B,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAE,CAA4C,CAAC,QAAQ,CAAC;YACtE,CAA4C,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,IAAI,CAAC,CAAC,CAAC,CAAC;IACR,OAAO,GAAG,CAAC;AACb,CAAC;AAeD,SAAgB,kCAAkC,CAChD,CAAkB,EAClB,KAAqB,EACrB,KAAa;IAEb,MAAM,CAAC,GAAG,IAAA,wCAAmB,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,CAAC,CAAC,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACjF,OAAO,EAAE,IAAI,EAAE,gCAAgC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;AACnE,CAAC;AAID,SAAgB,WAAW,CAAC,CAAkB;IAC5C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,oBAAoB;YACvB,OAAO,IAAI,CAAC;QACd,KAAK,oBAAoB,CAAC;QAC1B,KAAK,6BAA6B;YAChC,OAAO,KAAK,CAAC;QACf,KAAK,oBAAoB,CAAC;QAC1B,KAAK,mBAAmB;YACtB,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AA2BD,SAAgB,KAAK,CAAC,CAAkB;IAMtC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,yCAAoB,EAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,GAAG,GAAG,CAAC,CAAkB,EAAE,OAAgB,EAAmB,EAAE;QAMpE,MAAM,UAAU,GAAG,CAA4B,GAAM,EAAK,EAAE,CAC1D,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAE,EAAE,GAAG,GAAG,EAAE,oBAAoB,EAAE,CAAC,CAAC,oBAAoB,EAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;QACjG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,6BAA6B;gBAChC,OAAO,mBAAmB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACzC,KAAK,oBAAoB;gBACvB,IAAI,CAAC,OAAO;oBAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;gBAKnC,OAAO,UAAU,CAAC;oBAChB,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE;oBACzE,QAAQ,EAAE,CAAC,CAAC,QAAQ;iBACrB,CAAC,CAAC;YACL,KAAK,oBAAoB;gBAEvB,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;YAC9C,KAAK,oBAAoB,CAAC;YAC1B,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBAEzB,MAAM,MAAM,GACV,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;oBACxC,CAAC,CAAC,mBAAmB;oBACrB,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB;wBACzC,CAAC,CAAC,oBAAoB;wBACtB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACf,OAAO,UAAU,CAAC;oBAChB,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;oBAChD,QAAQ,EAAE,CAAC,CAAC,QAAQ;iBACrB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,OAAO,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACvB,CAAC;AAwBD,SAAgB,kBAAkB,CAAC,CAAkB;IACnD,MAAM,GAAG,GAAG,CAAC,CAAkB,EAA8B,EAAE;QAC7D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,oBAAoB;gBACvB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACf,KAAK,oBAAoB,CAAC,CAAC,CAAC;gBAI1B,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;oBAC5C,MAAM,IAAI,KAAK,CACb,mEAAmE,CAAC,CAAC,OAAO,CAAC,IAAI,yBAAyB,CAC3G,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,CAAC,CAAkC,CAAC,CAAC,CAAC;YAChD,CAAC;YACD,KAAK,6BAA6B;gBAChC,OAAO,mBAAmB,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC;YACtD,KAAK,mBAAmB;gBACtB,OAAO,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,KAAK,oBAAoB,CAAC,CAAC,CAAC;gBAE1B,IAAI,IAAI,GAA+B,CAAC,EAAE,CAAC,CAAC;gBAC5C,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;oBACjC,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;oBAC5B,MAAM,IAAI,GAA+B,EAAE,CAAC;oBAC5C,KAAK,MAAM,GAAG,IAAI,IAAI;wBAAE,KAAK,MAAM,KAAK,IAAI,MAAM;4BAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;oBAClF,IAAI,GAAG,IAAI,CAAC;gBACd,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAiBD,SAAgB,uBAAuB,CAAC,CAAkB,EAAE,GAAG,GAAG,EAAE;IAClE,MAAM,OAAO,GAAG,GAAG,GAAG,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,CAAkB,EAAU,EAAE;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;YAAE,OAAO,CAAC,CAAC;QAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;YAAE,OAAO,CAAC,CAAC;QAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,6BAA6B;YAAE,OAAO,mBAAmB,CAAC,CAAC,EAAE,yBAAyB,CAAC,CAAC;QACvG,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACnC,IAAI,GAAG,GAAG,CAAC,CAAC;YACZ,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAC3B,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;gBACb,IAAI,GAAG,IAAI,OAAO;oBAAE,OAAO,OAAO,CAAC;YACrC,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACjB,IAAI,OAAO,IAAI,OAAO;gBAAE,OAAO,OAAO,CAAC;QACzC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IACF,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC;AAOD,SAAgB,+BAA+B,CAAC,CAAkB;IAChE,MAAM,KAAK,GAAG,CAAC,CAAkB,EAAQ,EAAE;QAGzC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,CAAC,IAAI,KAAK,6BAA6B;YAAE,OAAO;QAExF,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACjB,OAAO;QACT,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,gCAAgC,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAChF,CAAC;QACD,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,CAAC,CAAC,CAAC,CAAC;AACX,CAAC;AAOD,SAAgB,OAAO,CAAC,CAAkB;IACxC,OAAO,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACpD,CAAC;AAkBD,SAAgB,uBAAuB,CACrC,CAAkB,EAClB,OAAqC,EACrC,OAAkC,EAAE;IAEpC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,KAAK,CAAC;IAE9C,MAAM,UAAU,GAAG,CAAC,CAAkB,EAAW,EAAE,CAAC,WAAW,IAAI,CAAC,CAAC,oBAAoB,KAAK,SAAS,CAAC;IACxG,MAAM,EAAE,GAAG,CAAC,CAAkB,EAAE,QAA6B,EAAU,EAAE;QAEvE,IAAI,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,OAAO,CAAC,CAAC,CAAC,oBAAqB,CAAC,IAAI,CAAC,CAAC;QAGhE,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,CAAC,IAAI,KAAK,6BAA6B;YAAE,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAGvG,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACpC,MAAM,QAAQ,GACZ,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;gBACtB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC;YACtF,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAClC,OAAO,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QAClD,CAAC;QACD,MAAM,EAAE,GAAiB,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QACxE,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAG/D,OAAO,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;IACrE,CAAC,CAAC;IACF,OAAO,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AACrB,CAAC"}
+{"version":3,"file":"branchCondition.js","sourceRoot":"","sources":["../../src/ast/branchCondition.ts"],"names":[],"mappings":";;AAuCA,oDAgCC;AAeD,kDAqBC;AASD,4EAiBC;AASD,kCAWC;AAwBD,sBA6CC;AAwBD,gDAqCC;AAiBD,0DA0BC;AAOD,0EAgBC;AAOD,0BAEC;AAYD,0DAuBC;AA7WD,SAAS,mBAAmB,CAAC,IAAiC,EAAE,KAAa;IAC3E,MAAM,IAAI,KAAK,CACb,kCAAkC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,KAAK,wKAAwK,CAC7O,CAAC;AACJ,CAAC;AAOD,SAAgB,oBAAoB,CAClC,CAAkB,EAClB,CAUC;IAED,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,oBAAoB;YACvB,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,KAAK,6BAA6B;YAChC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3B,KAAK,oBAAoB;YACvB,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,KAAK,oBAAoB;YACvB,OAAO,CAAC,CAAC,GAAG,CACV,CAAC,EACD,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAClD,CAAC;QACJ,KAAK,mBAAmB;YACtB,OAAO,CAAC,CAAC,EAAE,CACT,CAAC,EACD,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAClD,CAAC;IACN,CAAC;AACH,CAAC;AAeD,SAAgB,mBAAmB,CAAC,CAAkB;IACpD,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAkB,EAAQ,EAAE;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,6BAA6B;YAAE,OAAO;aAKrD,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACzC,IAAI,CAAC,CAAC,OAAO;gBAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC;aAKI,IAAI,KAAK,CAAC,OAAO,CAAE,CAA4C,CAAC,QAAQ,CAAC;YAC3E,CAA4C,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,IAAI,CAAC,CAAC,CAAC,CAAC;IACR,OAAO,GAAG,CAAC;AACb,CAAC;AASD,SAAgB,gCAAgC,CAC9C,CAAkB,EAClB,KAAa;IAEb,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAkB,EAAQ,EAAE;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,6BAA6B;YAAE,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;aAG5E,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACzC,IAAI,CAAC,CAAC,OAAO;gBAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAE,CAA4C,CAAC,QAAQ,CAAC;YAC7E,CAA4C,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,IAAI,CAAC,CAAC,CAAC,CAAC;IACR,OAAO,GAAG,CAAC;AACb,CAAC;AASD,SAAgB,WAAW,CAAC,CAAkB;IAC5C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,oBAAoB;YACvB,OAAO,IAAI,CAAC;QACd,KAAK,oBAAoB,CAAC;QAC1B,KAAK,6BAA6B;YAChC,OAAO,KAAK,CAAC;QACf,KAAK,oBAAoB,CAAC;QAC1B,KAAK,mBAAmB;YACtB,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAwBD,SAAgB,KAAK,CAAC,CAAkB;IAKtC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,CAAC,CAAkB,EAAE,OAAgB,EAAmB,EAAE;QACpE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,6BAA6B;gBAGhC,IAAI,CAAC,OAAO;oBAAE,OAAO,CAAC,CAAC;gBACvB,OAAO;oBACL,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,6BAA6B,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE;oBAClF,QAAQ,EAAE,CAAC,CAAC,QAAQ;iBACrB,CAAC;YACJ,KAAK,oBAAoB;gBACvB,IAAI,CAAC,OAAO;oBAAE,OAAO,CAAC,CAAC;gBAEvB,OAAO;oBACL,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE;oBACzE,QAAQ,EAAE,CAAC,CAAC,QAAQ;iBACrB,CAAC;YACJ,KAAK,oBAAoB;gBACvB,OAAO,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;YAClC,KAAK,oBAAoB,CAAC;YAC1B,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBAEzB,MAAM,MAAM,GACV,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;oBACxC,CAAC,CAAC,mBAAmB;oBACrB,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB;wBACzC,CAAC,CAAC,oBAAoB;wBACtB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACf,OAAO;oBACL,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;oBAChD,QAAQ,EAAE,CAAC,CAAC,QAAQ;iBACrB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,OAAO,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACvB,CAAC;AAwBD,SAAgB,kBAAkB,CAAC,CAAkB;IACnD,MAAM,GAAG,GAAG,CAAC,CAAkB,EAA8B,EAAE;QAC7D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,oBAAoB;gBACvB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACf,KAAK,oBAAoB,CAAC,CAAC,CAAC;gBAK1B,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,oBAAoB;oBAAE,OAAO,CAAC,CAAC,CAAkC,CAAC,CAAC,CAAC;gBAC3F,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,6BAA6B;oBAClD,OAAO,CAAC,CAAC,CAA2C,CAAC,CAAC,CAAC;gBACzD,MAAM,IAAI,KAAK,CACb,mEAAmE,CAAC,CAAC,OAAO,CAAC,IAAI,yBAAyB,CAC3G,CAAC;YACJ,CAAC;YACD,KAAK,6BAA6B;gBAGhC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACf,KAAK,mBAAmB;gBACtB,OAAO,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,KAAK,oBAAoB,CAAC,CAAC,CAAC;gBAE1B,IAAI,IAAI,GAA+B,CAAC,EAAE,CAAC,CAAC;gBAC5C,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;oBACjC,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;oBAC5B,MAAM,IAAI,GAA+B,EAAE,CAAC;oBAC5C,KAAK,MAAM,GAAG,IAAI,IAAI;wBAAE,KAAK,MAAM,KAAK,IAAI,MAAM;4BAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;oBAClF,IAAI,GAAG,IAAI,CAAC;gBACd,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAiBD,SAAgB,uBAAuB,CAAC,CAAkB,EAAE,GAAG,GAAG,EAAE;IAClE,MAAM,OAAO,GAAG,GAAG,GAAG,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,CAAkB,EAAU,EAAE;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;YAAE,OAAO,CAAC,CAAC;QAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;YAAE,OAAO,CAAC,CAAC;QAI9C,IAAI,CAAC,CAAC,IAAI,KAAK,6BAA6B;YAAE,OAAO,CAAC,CAAC;QACvD,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACnC,IAAI,GAAG,GAAG,CAAC,CAAC;YACZ,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAC3B,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;gBACb,IAAI,GAAG,IAAI,OAAO;oBAAE,OAAO,OAAO,CAAC;YACrC,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACjB,IAAI,OAAO,IAAI,OAAO;gBAAE,OAAO,OAAO,CAAC;QACzC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IACF,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC;AAOD,SAAgB,+BAA+B,CAAC,CAAkB;IAChE,MAAM,KAAK,GAAG,CAAC,CAAkB,EAAQ,EAAE;QAGzC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,CAAC,IAAI,KAAK,6BAA6B;YAAE,OAAO;QAExF,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACjB,OAAO;QACT,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,gCAAgC,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAChF,CAAC;QACD,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,CAAC,CAAC,CAAC,CAAC;AACX,CAAC;AAOD,SAAgB,OAAO,CAAC,CAAkB;IACxC,OAAO,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACpD,CAAC;AAYD,SAAgB,uBAAuB,CACrC,CAAkB,EAClB,OAAqC;IAErC,MAAM,EAAE,GAAG,CAAC,CAAkB,EAAE,QAA6B,EAAU,EAAE;QAGvE,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,CAAC,IAAI,KAAK,6BAA6B;YAAE,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAGvG,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACpC,MAAM,QAAQ,GACZ,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,CAAC;YACpF,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAClC,OAAO,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QAClD,CAAC;QACD,MAAM,EAAE,GAAiB,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QACxE,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAG/D,OAAO,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;IACrE,CAAC,CAAC;IACF,OAAO,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AACrB,CAAC"}

package/dist/ast/builder.d.ts

@@ -1,9 +1,9 @@
 import { ParserRuleContext } from "antlr4ts/ParserRuleContext";
 import { AbstractParseTreeVisitor } from "antlr4ts/tree/AbstractParseTreeVisitor";
-import { CrlContext, DecisionStatementContext, CriterionStatementContext, DecisionBodyContext, BranchItemContext, BlockBodyContext, ActionItemContext, ActionStatementContext, RecommendStatementContext, UseStatementContext, TerminologyStatementContext, TerminologyValuesetContext, ActivityStatementContext, ConceptStatementContext, ParameterStatementContext, LibraryStatementContext, IncludeStatementContext, DefinitionIsBodyContext, DefinedAsBodyContext, DefinedAsBareRefContext, DefinedAsCompositionContext, CompositionExpressionContext, SemOrContext, SemAndContext, SemNotContext, CompositionRefContext, CompositionGroupContext, NarrativeContext, NConceptRefContext, NQuantityContext, NWordContext, NArgGroupElementContext, QuantityContext, ArgGroupContext, ArgDisjunctionContext, ArgConjunctionContext, ArgSingletonContext, AVConceptRefContext, AVQuantityContext, AVNestedGroupContext, WhenWithBodyContext, WhenSingleActionContext, OtherwiseWithBodyContext, OtherwiseSingleActionContext } from "../grammar/generated/antlr/CRLParser";
+import { CrlContext, DecisionStatementContext, CriterionStatementContext, DecisionBodyContext, BranchItemContext, BlockBodyContext, ActionItemContext, ActionStatementContext, RecommendStatementContext, UseStatementContext, TerminologyStatementContext, TerminologyValuesetContext, ActivityStatementContext, ConceptStatementContext, ParameterStatementContext, LibraryStatementContext, IncludeStatementContext, CountDefinitionContext, NarrativeDefinitionContext, DefinedAsBodyContext, DefinedAsBareRefContext, DefinedAsExistsContext, DefinedAsCompositionContext, DefinedAsBooleanCompositionContext, CompositionExpressionContext, SemOrContext, SemAndContext, SemNotContext, CompositionRefContext, CompositionGroupContext, NarrativeContext, NConceptRefContext, NQuantityContext, NWordContext, NArgGroupElementContext, QuantityContext, ArgGroupContext, ArgDisjunctionContext, ArgConjunctionContext, ArgSingletonContext, AVConceptRefContext, AVQuantityContext, AVNestedGroupContext, WhenWithBodyContext, WhenSingleActionContext, OtherwiseWithBodyContext, OtherwiseSingleActionContext } from "../grammar/generated/antlr/CRLParser";
 import { CRLParserVisitor } from "../grammar/generated/antlr/CRLParserVisitor";
 import type { CRLError } from "../types/errors";
-import { ASTNode, Decision, Criterion, DecisionBody, WhenBlock, OtherwiseBlock, BranchBlock, BlockBody, ActionStatement, RecommendActivity, UseDecision, Terminology, TerminologyValueset, TerminologySystem, TerminologyCode, Activity, ActivityBody, ActivityRequest, ActivityWith, ActivityBecause, Concept, Parameter, DefinedAsDefinition, DefinedAsBareRef, DefinedAsComposition, CompositionExpression, CompositionRef, CompositionGroup, DefinitionIsDefinition, NarrativeClause, NConceptRef, NWord, NDisjunction, NConjunction, Quantity } from "./types";
+import { ASTNode, Decision, Criterion, DecisionBody, WhenBlock, OtherwiseBlock, BranchBlock, BlockBody, ActionStatement, RecommendActivity, UseDecision, Terminology, TerminologyValueset, TerminologySystem, TerminologyCode, Activity, ActivityBody, ActivityRequest, ActivityWith, ActivityBecause, Concept, Parameter, DefinedAsDefinition, DefinedAsBareRef, DefinedAsExists, DefinedAsComposition, DefinedAsBooleanComposition, CompositionExpression, CompositionRef, CompositionGroup, DefinitionIsDefinition, ReductionDefinition, NarrativeClause, NConceptRef, NWord, NDisjunction, NConjunction, Quantity } from "./types";
 import type { CRL, LibraryDeclaration, Include } from "./types";
 export declare class CRLAstBuilder extends AbstractParseTreeVisitor<ASTNode> implements CRLParserVisitor<ASTNode> {
     private readonly errors;
@@ -39,16 +39,24 @@ export declare class CRLAstBuilder extends AbstractParseTreeVisitor<ASTNode> imp
     visitActivityWith(ctx: import("../grammar/generated/antlr/CRLParser").ActivityWithContext): ActivityWith;
     visitActivityBecause(ctx: import("../grammar/generated/antlr/CRLParser").ActivityBecauseContext): ActivityBecause;
     private parseConceptTypes;
+    private parseConceptShape;
+    private reportDuplicateLines;
+    private checkConceptBodyCardinality;
+    private checkRepresentationBodyCardinality;
     private metaFrom;
     private parseEvidence;
     private parseConceptDefinition;
     private buildCodedFrom;
+    private parseValueFrom;
     private parseCode;
+    private parseValueElement;
     private parseRepresentations;
     visitParameterStatement(ctx: ParameterStatementContext): Parameter;
     visitConceptStatement(ctx: ConceptStatementContext): Concept;
     visitDefinedAsBareRef(ctx: DefinedAsBareRefContext): DefinedAsBareRef;
+    visitDefinedAsExists(ctx: DefinedAsExistsContext): DefinedAsExists;
     visitDefinedAsComposition(ctx: DefinedAsCompositionContext): DefinedAsComposition;
+    visitDefinedAsBooleanComposition(ctx: DefinedAsBooleanCompositionContext): DefinedAsBooleanComposition;
     visitCompositionExpression(ctx: CompositionExpressionContext): CompositionExpression;
     visitSemOr(ctx: SemOrContext): CompositionExpression;
     visitSemAnd(ctx: SemAndContext): CompositionExpression;
@@ -56,7 +64,9 @@ export declare class CRLAstBuilder extends AbstractParseTreeVisitor<ASTNode> imp
     visitCompositionRef(ctx: CompositionRefContext): CompositionRef;
     visitCompositionGroup(ctx: CompositionGroupContext): CompositionGroup;
     visitDefinedAsBody(ctx: DefinedAsBodyContext): DefinedAsDefinition;
-    visitDefinitionIsBody(ctx: DefinitionIsBodyContext): DefinitionIsDefinition;
+    visitCountDefinition(ctx: CountDefinitionContext): ReductionDefinition;
+    visitNarrativeDefinition(ctx: NarrativeDefinitionContext): DefinitionIsDefinition | ReductionDefinition;
+    private buildReductionTarget;
     visitNarrative(ctx: NarrativeContext): NarrativeClause;
     visitNConceptRef(ctx: NConceptRefContext): NConceptRef;
     visitNQuantity(ctx: NQuantityContext): Quantity;