editing models and fixing bug in elevator still not finding errors