Change function name to make it compatible with artemis#183

egenerse merged 1 commit intomainls1intum/Apollon2:mainfrom

update-get-model-function-namels1intum/Apollon2:update-get-model-function-nameCopy head branch name to clipboard