Member predicate AbstractValues::IntegerValue::getAnExpr
Gets an expression that has this abstract value. Two expressions that have the same concrete value also have the same abstract value, but not necessarily the other way around.
Moreover, e = this.getAnExpr() implies not e = this.getDualValue().getAnExpr()
.