func collectVarIDsInExpressions(typeCheckArgs interfaces.TypeCheckArgs) { // for these condition expressions, running TypeCheck will collect VarIDs in them and add them as dependencies for _, conditionDependentOn := range typeCheckArgs.ConditionsDependentOn() { conditionDependentOn.TypeCheck(typeCheckArgs) } }