Function collectArgumentReferencedVariables

collectArgumentReferencedVariables(
    ctx: TArgumentValidationContext,
): {
    byId: Record<string, { premiseIds: string[]; symbol: string }>;
    bySymbol: Record<string, { premiseIds: string[]; variableIds: string[] }>;
    variableIds: string[];
}
Indexes variables referenced across all premises by ID and by symbol.
Parameters
- ctx: TArgumentValidationContext
Returns {
    byId: Record<string, { premiseIds: string[]; symbol: string }>;
    bySymbol: Record<string, { premiseIds: string[]; variableIds: string[] }>;
    variableIds: string[];
}
- Defined in src/lib/core/argument-validation.ts:79