diff --git a/rust-lisa/src/main/java/it/unipr/cfg/expression/RustAccessMemberExpression.java b/rust-lisa/src/main/java/it/unipr/cfg/expression/RustAccessMemberExpression.java
deleted file mode 100644
index f762f93..0000000
--- a/rust-lisa/src/main/java/it/unipr/cfg/expression/RustAccessMemberExpression.java
+++ /dev/null
@@ -1,53 +0,0 @@
-package it.unipr.cfg.expression;
-
-import it.unive.lisa.analysis.AbstractState;
-import it.unive.lisa.analysis.AnalysisState;
-import it.unive.lisa.analysis.SemanticException;
-import it.unive.lisa.analysis.StatementStore;
-import it.unive.lisa.analysis.heap.HeapDomain;
-import it.unive.lisa.analysis.value.TypeDomain;
-import it.unive.lisa.analysis.value.ValueDomain;
-import it.unive.lisa.interprocedural.InterproceduralAnalysis;
-import it.unive.lisa.program.cfg.CFG;
-import it.unive.lisa.program.cfg.CodeLocation;
-import it.unive.lisa.program.cfg.statement.BinaryExpression;
-import it.unive.lisa.program.cfg.statement.Expression;
-import it.unive.lisa.symbolic.SymbolicExpression;
-import it.unive.lisa.type.Untyped;
-
-/**
- * Rust access a child expression (e.g., x.y).
- * 
- * @author <a href="mailto:vincenzo.arceri@unipr.it">Vincenzo Arceri</a>
- * @author <a href="mailto:simone.gazza@studenti.unipr.it">Simone Gazza</a>
- */
-public class RustAccessMemberExpression extends BinaryExpression {
-
-	/**
-	 * Builds the access to a child expression.
-	 * 
-	 * @param cfg      the {@link CFG} where this expression lies
-	 * @param location the location where this expression is defined
-	 * @param father   the left-hand side of this expression
-	 * @param child    the right-hand side of this expression
-	 */
-	public RustAccessMemberExpression(CFG cfg, CodeLocation location,
-			Expression father, Expression child) {
-		// TODO: need to change type of this expression
-		// once we have modeled Rust types
-		super(cfg, location, ".", Untyped.INSTANCE, father, child);
-	}
-
-	@Override
-	protected <A extends AbstractState<A, H, V, T>,
-			H extends HeapDomain<H>,
-			V extends ValueDomain<V>,
-			T extends TypeDomain<T>> AnalysisState<A, H, V, T> binarySemantics(
-					InterproceduralAnalysis<A, H, V, T> interprocedural, AnalysisState<A, H, V, T> state,
-					SymbolicExpression left, SymbolicExpression right, StatementStore<A, H, V, T> expressions)
-					throws SemanticException {
-		// TODO too coarse
-		return state.top();
-	}
-
-}
\ No newline at end of file