add concrete expr that can be updated
The original abstractexpr cannot be updated now