solver: Do not note a removed variable from Expression.remove_variable()
solver: Do not note a removed variable from Expression.remove_variable()

We need to notify the solver that an expression removed a variable only
from some specific call sites.

ebassi/emeus,ebassi/emeus,ebassi/emeus