Propagating top in EVM abstract state

Author: VincenzoArceri

src/main/java/it/unipr/analysis/EVMAbstractState.java

@@ -152,6 +152,8 @@ public EVMAbstractState smallStepSemantics(ValueExpression expression, ProgramPo
 		// bottom state is propagated
 		if (this.isBottom())
 			return this;
+		else if (this.stacks.isTop())
+			return this;
 
 		if (expression instanceof Constant) {
 			return this;