Member predicate AbstractValue::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().