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)
	}
}