Drop code for supporting temporary terms corresponding to model-local variables

Since model-local variables are now substituted out of the model at an early
stage (see cfb41d29), such temporary terms are
no longer generated.