Fix bug in option notmpterms with model local variables

Since model local variables are now treated as temporary terms, they must be
marked as such even when option notmpterms is present.
1 job for master in 1 minute and 17 seconds (queued for 2 seconds)