feat(list-access): overwrite definition of indices if list is redefined

When a list is redefined the former definiton is replaced, therefore storing the indices would cause
keeping the previous definition in the slice.

src/dataflow/environments/define.ts

@@ -26,6 +26,12 @@ function defInEnv(newEnvironments: IEnvironment, name: string, definition: Ident
 }
 
 function mergeIndices(existing: IdentifierDefinition[], definition: InGraphIdentifierDefinition): InGraphIdentifierDefinition[] {
+	// When new definition is not a single index, e.g. a list redefinition, then reset existing definition
+	// TODO: what happens when indicesCollection has more than one element?
+	if(definition.indicesCollection !== undefined && definition.indicesCollection?.some(indices => !indices.isSingleIndex)) {
+		return [definition];
+	}
+	// console.log('merging');
 	const existingDefs = existing.map((def) => def as InGraphIdentifierDefinition).filter((def) => def !== undefined);
 	const indices = definition.indicesCollection?.flatMap(indices => indices.indices) ?? [];
 	// Compare existing and new definitions, add new definitions and remove existing

test/functionality/slicing/pointer-analysis/list-access.test.ts

@@ -51,6 +51,22 @@ result <- person`,
 person$is_male <- FALSE
 person$name <- "Alice"
 person$age <- 33
+result <- person`
+		);
+
+		assertSliced(
+			label('When whole list is redefined, then every list assignment before is not in slice', []), shell,
+			`person <- list(age = 24, name = "John")
+person$age <- 33
+person$name <- "Jane"
+person <- list(height = 164, is_male = FALSE)
+person$height <- 199
+person$is_male <- TRUE
+result <- person`,
+			['7@result'],
+			`person <- list(height = 164, is_male = FALSE)
+person$height <- 199
+person$is_male <- TRUE
 result <- person`
 		);
 	});