Since model local variables are now treated as temporary terms, they must be marked as such even when option notmpterms is present.
