recompiled core models, added getApplicationName() to KirraHelper, removed assertion from CompilationDirector