diff --git a/src/main/java/it/unipr/analysis/taint/TimestampDependencyAbstractDomain.java b/src/main/java/it/unipr/analysis/taint/TimestampDependencyAbstractDomain.java
deleted file mode 100644
index 8ee53b1db..000000000
--- a/src/main/java/it/unipr/analysis/taint/TimestampDependencyAbstractDomain.java
+++ /dev/null
@@ -1,59 +0,0 @@
-package it.unipr.analysis.taint;
-
-import it.unipr.analysis.operator.BalanceOperator;
-import it.unipr.analysis.operator.BlockhashOperator;
-import it.unipr.analysis.operator.DifficultyOperator;
-import it.unipr.analysis.operator.TimestampOperator;
-import it.unive.lisa.symbolic.value.Operator;
-import java.util.ArrayList;
-import java.util.Collections;
-import java.util.HashSet;
-import java.util.Set;
-
-public class TimestampDependencyAbstractDomain extends TaintAbstractDomain {
-	private static final TimestampDependencyAbstractDomain TOP = new TimestampDependencyAbstractDomain(
-			new ArrayList<>(Collections.nCopies(TaintAbstractDomain.STACK_LIMIT, TaintElement.BOTTOM)));
-	private static final TimestampDependencyAbstractDomain BOTTOM = new TimestampDependencyAbstractDomain(null);
-
-	/**
-	 * Builds an initial symbolic stack.
-	 */
-	public TimestampDependencyAbstractDomain() {
-		this(new ArrayList<>(Collections.nCopies(STACK_LIMIT, TaintElement.BOTTOM)));
-	}
-
-	/**
-	 * Builds a taint abstract stack starting from a given stack and a list of
-	 * elements that push taint.
-	 *
-	 * @param stack the stack of values
-	 */
-	protected TimestampDependencyAbstractDomain(ArrayList<TaintElement> stack) {
-		super(stack);
-	}
-
-	@Override
-	public Set<Operator> getTaintedOpcode() {
-		Set<Operator> taintedOpcode = new HashSet<>();
-		taintedOpcode.add(TimestampOperator.INSTANCE);
-		taintedOpcode.add(BlockhashOperator.INSTANCE);
-		taintedOpcode.add(DifficultyOperator.INSTANCE);
-		taintedOpcode.add(BalanceOperator.INSTANCE);
-		return taintedOpcode;
-	}
-
-	@Override
-	public TimestampDependencyAbstractDomain top() {
-		return TOP;
-	}
-
-	@Override
-	public TimestampDependencyAbstractDomain bottom() {
-		return BOTTOM;
-	}
-
-	@Override
-	public TaintAbstractDomain mk(ArrayList<TaintElement> list) {
-		return new TimestampDependencyAbstractDomain(list);
-	}
-}