GitLab

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