minor

Author: olivieriluca

go-lisa/src/main/java/it/unive/golisa/cfg/expression/GoCollectionAccess.java

@@ -1,5 +1,6 @@
 package it.unive.golisa.cfg.expression;
 
+import it.unive.golisa.cfg.type.composite.GoStructType;
 import it.unive.lisa.analysis.AbstractState;
 import it.unive.lisa.analysis.AnalysisState;
 import it.unive.lisa.analysis.SemanticException;
@@ -66,7 +67,10 @@ public <A extends AbstractState<A>> AnalysisState<A> fwdBinarySemantics(Interpro
 		AnalysisState<A> result = state.bottom();
 		Set<Type> ltypes = state.getState().getRuntimeTypesOf(left, this, state.getState());
 		for (Type type : ltypes) {
-			if (type.isPointerType()) {
+			if (type.isPointerType() 
+					|| type instanceof GoStructType) {
+				
+				
 				result = result.lub(state.smallStepSemantics(
 						new AccessChild(Untyped.INSTANCE,
 								new HeapDereference(getStaticType(), left, getLocation()), right, getLocation()),